Changeset 40e7ab in git for Singular/LIB/ring.lib

Timestamp:

May 21, 2014, 1:24:48 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

c9f357778ee9f8d227771940ccf22290fb865982fff643cc11aac90dbe5f19791aac378c1eef37bb

Parents:

18037b5d33961444969fa5886eb3b871445e3ede

Message:

ring.lib: header, examples

File:

• Singular/LIB/ring.lib (modified) (4 diffs)

Singular/LIB/ring.lib

@@ -4 +4 @@
 info="
 LIBRARY:  ring.lib      Manipulating Rings and Maps
+AUTHORS: Singular team
 
 PROCEDURES:
@@ -28 +29 @@
  hasGlobalOrdering(rng)   global versus mixed/local monomial ordering
  hasMixedOrdering()       mixed versus global/local ordering
+ hasFieldCoefficient(rng) coefficients are a field
+ isQuotientRing(rng)      ring is a qotient ring
  isSubModule(I,J)         check if I is in J as submodule
 ";
@@ -989 +992 @@
   return (size(rl)==4);
 }
+example
+{
+ ring r=0,(x,y,z),dp;
+ hasCommutativeVars(r);
+}
 
 proc hasNumericCoeffs(rng)
@@ -1009 +1017 @@
   else
   { return(size(reduce(I,groebner(J),1)==0)); }
+}
+example
+{
+  ring r=0,x,dp;
+  ideal I1=x2;
+  ideal I2=x3;
+  isSubModule(I1,I2);
+  isSubModule(I2,I1);
 }