Changeset 64f1f2 in git
- Timestamp:
- Aug 16, 2016, 5:10:50 PM (8 years ago)
- Branches:
- (u'spielwiese', '52dcfddee5ec87d404d5e0fb44f2d627608208f1')
- Children:
- b412eebf8435fb44680b5160c7f8d524cdb20b2b
- Parents:
- 0b6a54257e8a557ff65031339bb2b1b8923e1326
- Location:
- Singular
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/gmssing.lib
r0b6a542 r64f1f2 139 139 { 140 140 def @R=basering; 141 if( charstr(@R)!="0")141 if((charstr(@R)!="0")&&(charstr(@R)!="QQ")) 142 142 { 143 143 ERROR("characteristic 0 expected"); -
Singular/LIB/hnoether.lib
r0b6a542 r64f1f2 50 50 LIB "inout.lib"; 51 51 LIB "sing.lib"; 52 LIB "ring.lib"; 52 53 53 54 /////////////////////////////////////////////////////////////////////////////// … … 365 366 string mipl="0"; 366 367 if (size(parstr(altring))==1) { mipl=string(minpoly); } 367 if ((char(basering)!=0) and (charstr(basering)!=string(char(basering)))) { 368 string tststr=charstr(basering); 369 tststr=tststr[1..find(tststr,",")-1]; //-> "p^k" bzw. "p" 370 if (tststr!=string(char(basering))) { 371 " Sorry -- not implemented for this ring (gcd doesn't work)"; 372 return(l); 373 } 368 if (hasGFCoefficient(basering)) 369 { 370 ERROR(" Sorry -- not implemented for this ring (gcd doesn't work)"); 374 371 } 375 372 execute("ring rsqrf = ("+charstr(altring)+"),(x,y),dp;"); … … 907 904 displayHNE(Hne); 908 905 } 906 909 907 910 908 /////////////////////////////////////////////////////////////////////////////// -
Singular/LIB/ring.lib
r0b6a542 r64f1f2 26 26 hasFieldCoefficient check if the coefficient ring is considered a field 27 27 hasGFCoefficient check if the coefficient ring is GF(p,k) 28 hasAlgECoefficient check if the coefficient ring is an algebaric extension 28 29 hasNumericCoeffs(rng) check for use of floating point numbers 29 30 hasCommutativeVars(rng) non-commutive or commnuative polynomial ring … … 1156 1157 } 1157 1158 1159 proc hasAlgECoefficient(def rng) 1160 "USAGE: hasAlgECoefficient(rng); 1161 RETURN: 1 if the coefficient filed is an algebraic extension 1162 EXAMPLE: example hasAlgECoefficient(); shows an example 1163 " 1164 { 1165 return((charstr(rng)!=string(char(rng))) && 1166 (npars(rng)==1) && 1167 (find(charstr(rng),string(char(rng)))==1) && 1168 (charstr(basering)<>"real")&& 1169 (charstr(basering)<>"complex") ); 1170 } 1171 example 1172 { "EXAMPLE:"; echo = 2; 1173 ring R1 = 0,(x,y,z),dp; 1174 hasMixedOrdering(); 1175 ring R2 = 31,(x(1..4),y(1..3)),(ds(4),lp(3)); 1176 hasMixedOrdering(); 1177 ring R3 = 181,x(1..9),(dp(5),lp(4)); 1178 hasMixedOrdering(); 1179 } 1180 1158 1181 proc changeordTo(def r,string o) 1159 1182 "USAGE: changeordTo(ring, string s); -
Singular/LIB/spectrum.lib
r0b6a542 r64f1f2 30 30 " 31 31 { 32 if( charstr(basering)!="0")32 if((charstr(basering)!="0")&&(charstr(basering)!="QQ")) 33 33 { 34 34 ERROR("characteristic 0 expected"); -
Singular/ipshell.cc
r0b6a542 r64f1f2 1417 1417 { 1418 1418 #ifdef SINGULAR_4_1 1419 if ((pack==basePack)&&(pack!=currPack))1420 { Warn("'exportto' to Top is depreciated in >>%s<<",my_yylinebuf);}1419 // if ((pack==basePack)&&(pack!=currPack)) 1420 // { Warn("'exportto' to Top is depreciated in >>%s<<",my_yylinebuf);} 1421 1421 #endif 1422 1422 BOOLEAN nok=FALSE;
Note: See TracChangeset
for help on using the changeset viewer.