Changeset bcd38b in git
- Timestamp:
- Apr 20, 2005, 7:28:48 PM (18 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- 7668071605e2a9aa0d4be436ad97d172a27d5ca4
- Parents:
- d86777372eef84871f10e4887da44dd71b5042b8
- Location:
- Singular/LIB
- Files:
-
- 1 deleted
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/primitiv.lib
rd867773 rbcd38b 3 3 // This library is for Singular 1.2 or newer 4 4 5 version="$Id: primitiv.lib,v 1.1 8 2005-04-15 13:42:54Singular Exp $";5 version="$Id: primitiv.lib,v 1.19 2005-04-20 17:28:48 Singular Exp $"; 6 6 category="Commutative Algebra"; 7 7 info=" … … 261 261 RETURN: ring; @ 262 262 if called with a nonempty second parameter L, then in the output 263 ring there is defined a list erg ( =L mapped to the new ring). 263 ring there is defined a list erg ( =L mapped to the new ring); 264 if the minpoly of the active ring is non-zero, then the image of 265 the primitive root of f in the output ring is appended as last 266 entry of the list erg. 264 267 NOTE: If the old ring has no parameter, the name @code{a} is chosen for the 265 268 parameter of R (if @code{a} is no ring variable; if it is, @code{b} is … … 380 383 { "EXAMPLE:"; echo = 2; 381 384 ring r=0,(x,y),dp; 382 def r1=splitring(x2-2); 383 setring r1; basering; // change to Q(sqrt(2)) 385 splitring(x2-2,"r1"); // change to Q(sqrt(2)) 384 386 // change to Q(sqrt(2),sqrt(sqrt(2)))=Q(a) and return the transformed 385 387 // old parameter: 386 def r2=splitring(x2-a,a); 387 setring r2; basering; erg; 388 splitring(x2-a,"r2",a); 388 389 // the result is (a)^2 = (sqrt(sqrt(2)))^2 390 nameof(basering); 391 r2; 389 392 kill r1; kill r2; 390 393 }
Note: See TracChangeset
for help on using the changeset viewer.