Changeset 0c40ae in git
- Timestamp:
- Aug 23, 2011, 11:29:47 AM (12 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')
- Children:
- 380a9b6e945b3b23b3197f3b6692bf955b0c0301
- Parents:
- 12483db42b3ad1ac5499765c4350a6a67250d9c7
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/modstd.lib
r12483d r0c40ae 29 29 //////////////////////////////////////////////////////////////////////////////// 30 30 31 static proc mixedTest() 32 // decides whether the ordering of the basering is mixed 31 proc mixedTest() 32 "USAGE: mixedTest(); 33 RETURN: 1 if ordering of basering is mixed, 0 else 34 EXAMPLE: example mixedTest(); shows an example 35 " 33 36 { 34 37 int i,p,m; … … 46 49 if((p > 0) && (m > 0)) { return(1); } 47 50 return(0); 51 } 52 example 53 { "EXAMPLE:"; echo = 2; 54 ring R1 = 0,(x,y,z),dp; 55 mixedTest(); 56 ring R2 = 31,(x(1..4),y(1..3)),(ds(4),lp(3)); 57 mixedTest(); 58 ring R3 = 181,x(1..9),(dp(5),lp(4)); 59 mixedTest(); 48 60 } 49 61 … … 61 73 "USAGE: isIncluded(I,J); I,J ideals 62 74 RETURN: 1 if J includes I, 63 75 @* 0 if there is an element f in I which does not reduce to 0 w.r.t. J. 64 76 EXAMPLE: example isIncluded; shows an example 65 77 " … … 255 267 lT ideal 256 268 NOTE: - if ho = 1, the polynomials in T are homogeneous, else ho = 0, 257 269 @* - lT is prevalent, i.e. the most appearing leading ideal in T 258 270 EXAMPLE: example deleteUnluckyPrimes; shows an example 259 271 "
Note: See TracChangeset
for help on using the changeset viewer.