fieker-DuValspielwiese
Last change
on this file since 882ae9c was
b35b93,
checked in by Olaf Bachmann <obachman@…>, 26 years ago
|
This commit was generated by cvs2svn to compensate for changes in r1396,
which included commits to RCS files with non-trunk default branches.
git-svn-id: file:///usr/local/Singular/svn/trunk@1397 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
1.2 KB
|
Line | |
---|
1 | //===========================================================================// |
---|
2 | // LIBRARY: lib2 procedures for elimination and saturation // |
---|
3 | // type lib2(); to list the procedures // |
---|
4 | // 7/94 GMG+BM // |
---|
5 | // version for the regression test |
---|
6 | //===========================================================================// |
---|
7 | /////////////////////////////////////////////////////////////////////////////// |
---|
8 | |
---|
9 | proc sat (ideal i,ideal j) |
---|
10 | USAGE: sat(<i>,<j>); i,j ideals |
---|
11 | RETURNS: ideal, union_(k=1...) of i:j^k |
---|
12 | { |
---|
13 | ideal @i; |
---|
14 | int @ii; |
---|
15 | while ( @ii<=size(@i)) |
---|
16 | { |
---|
17 | @i=quotient(i,j); |
---|
18 | for ( @ii=1; @ii <= size(@i); @ii=@ii+1) |
---|
19 | { |
---|
20 | if (NF(@i[@ii],i)!=0) |
---|
21 | break; |
---|
22 | } |
---|
23 | i=@i; |
---|
24 | } |
---|
25 | return (@i); |
---|
26 | } |
---|
27 | example |
---|
28 | { "EXAMPLE:"; |
---|
29 | " ring r=2,(x,y,z),dp;"; ring @r=2,(x,y,z),dp; |
---|
30 | " poly F=x5+y5+(x-y)^2*xyz;"; poly @F=x5+y5+(x-y)^2*xyz; |
---|
31 | " ideal j=jacob(F);"; ideal @j= jacob(@F); |
---|
32 | " sat(j,maxideal(1));"; sat(@j,maxideal(1)); |
---|
33 | kill @r; |
---|
34 | } |
---|
35 | /////////////////////////////////////////////////////////////////////////////// |
---|
36 | |
---|
Note: See
TracBrowser
for help on using the repository browser.