spielwiese
Last change
on this file since b1ac99 was
b1ac99,
checked in by Thomas Siebert <siebert@…>, 25 years ago

*** empty log message ***
gitsvnid: file:///usr/local/Singular/svn/trunk@1529 2c84dea37e6841379b89c4e89433aadc


Property mode set to
100644

File size:
962 bytes

Line  

1  LIB "tst.lib"; 

2  tst_init(); 

3  // 

4  // test script for lift command 

5  // 

6  pagelength = 10000; 

7  ring r1 = 32003,(x,y,z),(c,dp); 

8  r1; 

9  ""; 

10  poly s1=y7+x3+xyz+z2; 

11  ideal i1=jacob(s1); 

12  ideal i2=std(i1); 

13  ideal i=3x2+yz,7y6+2x2y+5xz; 

14  i; 

15  i1; 

16  i2; 

17  s1; 

18  matrix T=lift(i2,i); 

19  T; 

20  matrix(i)matrix(i2)*T; 

21  ""; 

22  poly s2=x4+y3+z6+2xyz; 

23  ideal i3=jacob(s2); 

24  ideal i4=std(i3); 

25  s2; 

26  i3; 

27  i4; 

28  matrix T1=lift(i4,i); 

29  T1; 

30  matrix(i)matrix(i4)*T1; 

31  ""; 

32  listvar(all); 

33  kill r1; 

34  //From: Trond Stlen Gustavsen <stolen@math.uio.no> 

35  

36  ring r = 0, (x(1..5)), ds; 

37  matrix m[2][4]= x(1), x(2), x(3), x(4), x(2), x(3), x(4), x(5); 

38  

39  ideal j = minor(m, 2); 

40  ideal i = std(j); 

41  

42  mres(i, 2, ires); 

43  matrix jaco = jacob(ires(1)); 

44  qring s = i; 

45  s; 

46  matrix mat = matrix(fetch(r,ires(2))); 

47  matrix imat = transpose(mat); 

48  matrix jac = fetch(r, jaco); 

49  

50  res(module(imat),3,imatres); 

51  

52  matrix T = lift(imatres(2), module(jac)); 

53  T; 

54  kill r; 

55  $; 

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