Changeset 7b315e6 in git for Singular/LIB/involut.lib
- Timestamp:
- Oct 31, 2007, 6:24:10 PM (17 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- b18843c1ccc987aad90ce1b80a1e11ddae569e37
- Parents:
- fa7ed7d407a57e6371ba26f73b968bae619b44e9
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/involut.lib
rfa7ed7 r7b315e6 1 version="$Id: involut.lib,v 1.1 2 2007-01-23 15:03:30Singular Exp $";1 version="$Id: involut.lib,v 1.13 2007-10-31 17:23:43 Singular Exp $"; 2 2 category="Noncommutative"; 3 3 info=" … … 164 164 matrix D[6][6]; 165 165 D[1,4]=1; D[2,5]=1; D[3,6]=1; 166 nc algebra(1,D);166 nc_algebra(1,D); 167 167 ncdetection(); 168 168 kill r; 169 169 //---------------------------------------- 170 170 ring r=0,(x,S),dp; 171 nc algebra(1,-S);171 nc_algebra(1,-S); 172 172 ncdetection(); 173 173 kill r; … … 176 176 matrix D[3][3]; 177 177 D[1,2]=1; D[1,3]=-S; 178 nc algebra(1,D);178 nc_algebra(1,D); 179 179 ncdetection(); 180 180 } … … 340 340 "EXAMPLE:";echo = 2; 341 341 ring r = 0,(x,d),dp; 342 nc algebra(1,1); // Weyl-Algebra342 nc_algebra(1,1); // Weyl-Algebra 343 343 map F = r,x,-d; 344 344 poly f = x*d^2+d; … … 461 461 }; 462 462 463 nc algebra(1, M); //now new ring @@K become a noncommutative ring463 nc_algebra(1, M); //now new ring @@K become a noncommutative ring 464 464 465 465 list l; //list to define an involution … … 587 587 }; 588 588 589 nc algebra(1, M); //now new ring @@K become a noncommutative ring589 nc_algebra(1, M); //now new ring @@K become a noncommutative ring 590 590 591 591 list l; //list to define an involution … … 721 721 }; 722 722 723 nc algebra(1, M); //now new ring @@K become a noncommutative ring723 nc_algebra(1, M); //now new ring @@K become a noncommutative ring 724 724 725 725 list l; //list to define a homomorphism(isomorphism) … … 821 821 //----------- use the call findAuto(0) -------------------- 822 822 ring r = 0,(x,s),dp; 823 nc algebra(1,s); // the shift algebra823 nc_algebra(1,s); // the shift algebra 824 824 s*x; // the only relation in the algebra is: 825 825 def Y = findAuto(0);
Note: See TracChangeset
for help on using the changeset viewer.