Changeset 64f1f2 in git


Ignore:
Timestamp:
Aug 16, 2016, 5:10:50 PM (8 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '52dcfddee5ec87d404d5e0fb44f2d627608208f1')
Children:
b412eebf8435fb44680b5160c7f8d524cdb20b2b
Parents:
0b6a54257e8a557ff65031339bb2b1b8923e1326
Message:
Singular_4_1 some lib changes
Location:
Singular
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/gmssing.lib

    r0b6a542 r64f1f2  
    139139{
    140140  def @R=basering;
    141   if(charstr(@R)!="0")
     141  if((charstr(@R)!="0")&&(charstr(@R)!="QQ"))
    142142  {
    143143    ERROR("characteristic 0 expected");
  • Singular/LIB/hnoether.lib

    r0b6a542 r64f1f2  
    5050LIB "inout.lib";
    5151LIB "sing.lib";
     52LIB "ring.lib";
    5253
    5354///////////////////////////////////////////////////////////////////////////////
     
    365366 string mipl="0";
    366367 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)");
    374371 }
    375372 execute("ring rsqrf = ("+charstr(altring)+"),(x,y),dp;");
     
    907904  displayHNE(Hne);
    908905}
     906
    909907
    910908///////////////////////////////////////////////////////////////////////////////
  • Singular/LIB/ring.lib

    r0b6a542 r64f1f2  
    2626 hasFieldCoefficient      check if the coefficient ring is considered a field
    2727 hasGFCoefficient         check if the coefficient ring is GF(p,k)
     28 hasAlgECoefficient       check if the coefficient ring is an algebaric extension
    2829 hasNumericCoeffs(rng)    check for use of floating point numbers
    2930 hasCommutativeVars(rng)  non-commutive or commnuative polynomial ring
     
    11561157}
    11571158
     1159proc hasAlgECoefficient(def rng)
     1160"USAGE:  hasAlgECoefficient(rng);
     1161RETURN:  1 if the coefficient filed is an algebraic extension
     1162EXAMPLE: 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}
     1171example
     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
    11581181proc changeordTo(def r,string o)
    11591182"USAGE:  changeordTo(ring, string s);
  • Singular/LIB/spectrum.lib

    r0b6a542 r64f1f2  
    3030"
    3131{
    32   if(charstr(basering)!="0")
     32  if((charstr(basering)!="0")&&(charstr(basering)!="QQ"))
    3333  {
    3434    ERROR("characteristic 0 expected");
  • Singular/ipshell.cc

    r0b6a542 r64f1f2  
    14171417{
    14181418#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);}
    14211421#endif
    14221422  BOOLEAN nok=FALSE;
Note: See TracChangeset for help on using the changeset viewer.