Changeset f0c0448 in git

Timestamp:

Jun 2, 2014, 2:51:06 PM (9 years ago)

Author:

Jakob Kröker <kroeker@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

40d3e3d7d6b897c18d688582f3d35c718c96a2ed9a44e066a60fc8901f88192e191e3db1d05b5ce4

Parents:

d1df8403f1e5f64fed914d1e5be781a8fe2f763e

Message:

fixed indentation

File:

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

Singular/LIB/primdec.lib

@@ -5142 +5142 @@
 {
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;
 
    intvec op;
@@ -5215 +5215 @@
 {
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;
 
    int j;
@@ -5986 +5986 @@
 static proc radicalKL(ideal I, ideal ser, list #)
 {
-   ASSUME(0, not isQuotientRing(basering) ) ;
+  ASSUME(0, not isQuotientRing(basering) ) ;
   ASSUME(0, hasGlobalOrdering(basering) ) ;
 
@@ -6690 +6690 @@
 {
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;
 
    int i;
@@ -7750 +7750 @@
 {
    ASSUME(0, not isQuotientRing(basering) ) ;
-  ASSUME(0, hasGlobalOrdering(basering) ) ;
+   ASSUME(0, hasGlobalOrdering(basering) ) ;