Changeset eac8710 in git

Timestamp:

Jul 14, 2014, 4:37:27 PM (9 years ago)

Author:

Jakob Kröker <kroeker@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

c5175d6574bf88dc625986c2a215794ee8e919c3

Parents:

e6f4fc67a2bddded19c7ee7db1e77e19023b5793

Message:

check if coefficient ring is field

File:

• Singular/LIB/primdec.lib (modified) (68 diffs)

Singular/LIB/primdec.lib

@@ -65 +65 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -93 +94 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -160 +162 @@
 proc minSat(ideal inew, ideal h)
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -208 +211 @@
 static proc quotMin(list tsil)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -270 +274 @@
 static proc testFactor(list act,poly p)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -370 +375 @@
 proc idealsEqual( ideal k, ideal j)
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   return(stdIdealsEqual(std(k),std(j)));
 }
@@ -377 +383 @@
   int j;
 
+  ASSUME(1, hasFieldCoefficient(basering) );
   if(size(k1)==size(k2))
   {
@@ -394 +401 @@
 {
   int j;
-
+  ASSUME(1, hasFieldCoefficient(basering) );
   if(size(k1)==size(k2))
   {
@@ -416 +423 @@
 proc primaryTest (ideal i, poly p)
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -534 +542 @@
 static proc splitPrimary(list l,ideal ser,int @wr,list sact)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -725 +734 @@
 static proc splitCharp(list l)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -855 +865 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -1316 +1327 @@
 proc extF(list l,list #)
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -1409 +1421 @@
 //the radical of the intersection of the pe[l] is equal to the radical of i
 
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -1501 +1514 @@
 //i.e. var(i)----->var(i)^(p^v[i])
 
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
+
   if(homog(I)==1){return(maxideal(1));}
 
@@ -1542 +1557 @@
 //and transforms it back to a decomposition of i
  
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -1588 +1604 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -1667 +1684 @@
 "
 {
+ ASSUME(1, hasFieldCoefficient(basering) );
  ASSUME(1, not isQuotientRing(basering) ) ;
-  ASSUME(1, hasGlobalOrdering(basering) ) ;
+ ASSUME(1, hasGlobalOrdering(basering) ) ;
  int k,j;
  intvec m,n,v,w;
@@ -1793 +1811 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -1861 +1880 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -1927 +1947 @@
 "
 {
+   ASSUME(1, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;
    def @P=basering;
    if(size(i)==0){return(list(ideal(0)));}
@@ -2055 +2076 @@
 static proc primT(ideal i)
 {
+   ASSUME(1, hasFieldCoefficient(basering) );
    ASSUME(1, not isQuotientRing(basering) ) ;
-  ASSUME(1, hasGlobalOrdering(basering) ) ;
+   ASSUME(1, hasGlobalOrdering(basering) ) ;
 
    //assumes that all generators of i are irreducible
@@ -2085 +2107 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -2378 +2401 @@
 "
 {
-
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   if(attrib(basering,"global")!=1)
@@ -2488 +2511 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   if(attrib(basering,"global")!=1)
@@ -2618 +2642 @@
 proc algeDeco(ideal i, int w)
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;
 
 //reduces primery decomposition over algebraic extensions to
@@ -2768 +2793 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -3754 +3780 @@
 //the p^e th power of the coefficients of f
 {
+   ASSUME(1, hasFieldCoefficient(basering) );
    ASSUME(1, not isQuotientRing(basering) ) ;
-  ASSUME(1, hasGlobalOrdering(basering) ) ;
+   ASSUME(1, hasGlobalOrdering(basering) ) ;
 
    int i;
@@ -3777 +3804 @@
  EXAMPLE: example sep; shows an example
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;
 
    def R=basering;
@@ -3830 +3858 @@
  EXAMPLE: example zeroRad; shows an example
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;
 
    if(homog(I)==1){return(maxideal(1));}
@@ -3929 +3958 @@
 "
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
    if(attrib(basering,"global")!=1)
@@ -4057 +4087 @@
 static proc int_ass_primary_e(ideal i, int e)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4103 +4134 @@
 static proc analyze(list pr)
 {
+   ASSUME(1, hasFieldCoefficient(basering) );
    ASSUME(1, not isQuotientRing(basering) ) ;
-  ASSUME(1, hasGlobalOrdering(basering) ) ;
+   ASSUME(1, hasGlobalOrdering(basering) ) ;
 
    int ii,jj;
@@ -4136 +4168 @@
 static proc simplifyIdeal(ideal i)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4243 +4276 @@
 static proc min_ass_prim_charsets0 (ideal PS)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4347 +4381 @@
 static proc min_ass_prim_charsets1 (ideal PS)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4489 +4524 @@
 static proc prim_dec(ideal I, int choose)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4715 +4751 @@
 static proc pseudo_prim_dec_charsets (ideal I, ideal SI, int choo)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4768 +4805 @@
 static proc pseudo_prim_dec_special_charsets (ideal SI,list V6, int choo)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4869 +4907 @@
 static proc pseudo_prim_dec_i (ideal SI, list L)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -4941 +4980 @@
 static proc extraction (ideal SI, ideal SP)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -5049 +5089 @@
 static proc minsat(ideal SI, poly p)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -5098 +5139 @@
 static proc minsat_ppd(ideal SI, ideal fac)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -5145 +5187 @@
 static proc minquot(list tsil)
 {
+   ASSUME(1, hasFieldCoefficient(basering) );
    ASSUME(1, not isQuotientRing(basering) ) ;
    ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -5218 +5261 @@
 static proc special_ideals_equal( ideal k1, ideal k2)
 {
+   ASSUME(1, hasFieldCoefficient(basering) );
    ASSUME(1, not isQuotientRing(basering) ) ;
    ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -5288 +5332 @@
 "
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
    if(size(#)>0)
@@ -5365 +5410 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   if (char(basering) != 0)
@@ -5534 +5580 @@
 "
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
    if(size(#)>1)
@@ -5610 +5657 @@
 "
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
    if(size(#)>0)
@@ -5715 +5763 @@
 "
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
    if(size(#)>1)
@@ -5769 +5818 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   if(attrib(basering,"global")!=1)
@@ -5806 +5856 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   dbprint(printlevel - voice, "Radical, version 2006.05.08");
@@ -5990 +6041 @@
 static proc radicalKL(ideal I, ideal ser, list #)
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -6030 +6082 @@
 // obtained in intermediate steps.
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -6115 +6168 @@
 //                    only equiradical is required.
 //                    It is used to set the value of done.)
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -6390 +6444 @@
 // Output: ideal. Intersection of some primes of I different from the ones in P.
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -6460 +6515 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -6554 +6610 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -6603 +6660 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   if(attrib(basering,"global")!=1)
@@ -6654 +6712 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   if(attrib(basering,"global")!=1)
@@ -6693 +6752 @@
 "
 {
+   ASSUME(0, hasFieldCoefficient(basering) );
    ASSUME(0, not isQuotientRing(basering) ) ;
    ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -6728 +6788 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   if(attrib(basering,"global")!=1)
@@ -6848 +6909 @@
 "
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -7753 +7815 @@
 static proc newReduction(ideal @j, ideal ser, intvec @hilb, intvec @w, int jdim, int abspri, int @wr, list data)
 {
+   ASSUME(1, hasFieldCoefficient(basering) );
    ASSUME(1, not isQuotientRing(basering) ) ;
    ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -8054 +8117 @@
 // associated primes and the primary components corresponding to these primes.
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -8097 +8161 @@
 static proc minAssSLIteration(ideal I, ideal P);
 {
+  ASSUME(1, hasFieldCoefficient(basering) );
   ASSUME(1, not isQuotientRing(basering) ) ;
   ASSUME(1, hasGlobalOrdering(basering) ) ;
@@ -8152 +8217 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
@@ -8255 +8321 @@
 "
 {
+  ASSUME(0, hasFieldCoefficient(basering) );
   ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;