- Timestamp:
- Dec 15, 1997, 12:31:32 PM (26 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- e78cce968f6523cf4106e326ba2aa96b17fcf041
- Parents:
- 2189fba1da9fd42ad0922cc953ed75e85df2ded2
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/sing.lib
r2189fb r3bc8cd 1 // $Id: sing.lib,v 1. 6 1997-09-12 13:33:29Singular Exp $1 // $Id: sing.lib,v 1.7 1997-12-15 11:31:32 Singular Exp $ 2 2 //system("random",787422842); 3 3 //(GMG/BM, last modified 26.06.96) … … 657 657 //--------------------------- initialisation ---------------------------------- 658 658 int n,r1,r2,d1,d2; 659 def P = basering;659 def P = basering; 660 660 i = simplify(i,10); 661 661 module jac,t1,t2,sbt1,sbt2; … … 670 670 SK = modulo(Syz,Kos); // presentation of syz/kos 671 671 //--------------------- fetch to quotient ring mod i ------------------------- 672 qring Ox = i0; // make P/i the basering672 qring Ox = i0; // make P/i the basering 673 673 module Jac = fetch(P,jac); 674 674 matrix No = transpose(fetch(P,Syz)); // ker(No) = Hom(syz,Ox) … … 683 683 r1 = nrows(T1); 684 684 //------------------------ pull back to basering ------------------------------ 685 setring P;685 setring P; 686 686 t1 = fetch(Ox,T1)+i*freemodule(r1); 687 687 t2 = fetch(Ox,T2)+i*freemodule(r2); … … 693 693 if ( size(#)>0) 694 694 { 695 kbT1 = fetch(Ox,Nx)*kbase(sbt1); 696 Sx = fetch(Ox,Sx); 697 L = sbt1,sbt2,d1,d2,kbT1,Syz,Sx,t1,t2; 698 return(L); 695 if (d1>0) 696 { 697 kbT1 = fetch(Ox,Nx)*kbase(sbt1); 698 } 699 else 700 { 701 kbT1 = 0; 702 } 703 Sx = fetch(Ox,Sx); 704 L = sbt1,sbt2,d1,d2,kbT1,Syz,Sx,t1,t2; 705 return(L); 699 706 } 700 707 L = sbt1,sbt2;
Note: See TracChangeset
for help on using the changeset viewer.