spielwiese
Last change
on this file was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago

format


Property mode set to
100644

File size:
731 bytes

Line  

1  LIB "tst.lib"; 

2  tst_init(); 

3  

4  // =============================== example 1.9.31 ============================== 

5  

6  LIB "ncalg.lib"; 

7  def R = makeQso3(3); 

8  setring R; R; 

9  option(redSB); option(redTail); // for reduced output 

10  

11  ideal K = x+y+z,y+z,z; 

12  option(); module S = syz(K); // the (left) syzygy module of K 

13  print(S); print( size( module(transpose(S)*transpose(K)) ) ); 

14  

15  K = x,y,z; 

16  option(); S = syz(K); 

17  print(S); print( size( module(transpose(S)*transpose(K)) ) ); 

18  

19  option(returnSB); 

20  

21  option(); S = syz(K); 

22  print(S); print( size( module(transpose(S)*transpose(K)) ) ); 

23  

24  K = x+y+z,y+z,z; 

25  option(); S = syz(K); // the (left) syzygy module of K 

26  print(S); print( size( module(transpose(S)*transpose(K)) ) ); 

27  

28  tst_status(1);$ 

29  

Note: See
TracBrowser
for help on using the repository browser.