Changeset d8e1214 in git

Timestamp:

Jul 25, 2006, 3:23:09 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d961eb8f3d847df637b17d416b318e54617f0cf2

Parents:

f995aabf7dacabab6e24c26c2a358ed2d2925830

Message:

*bricken: + magma support


git-svn-id: file:///usr/local/Singular/svn/trunk@9347 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/cnf2ideal.py (modified) (3 diffs)

Singular/cnf2ideal.py

@@ -86 +86 @@
     command='option(redTail);\noption(prot);\nstd(i);\n'
     return "\n".join([ring_def,ideal,command,"$;\n"])
+
+
+def gen_poly_Magma(clause):
+    def num2factor(f):
+        assert(f!=0)
+        if (f>0):
+            return "".join(["x",str(f),""])
+        else:
+            return "".join(["(1-x",str(-f),")"])
+    if clause:
+        return("*".join( [num2factor(f) for f in clause]))
+
+def gen_Magma(clauses):
+    start_str=Template("""F:=FiniteField(2);
+R< $var_list >:=PolynomialRing(F,$nvars,"lex");
+i:=ideal< R | $ideal
+>;
+GroebnerBasis(i);
+exit;
+""")
+    var_list=", ".join(["x"+str(i+1) for i in xrange(vars)])
+    ideal=",\n".join([gen_poly_Magma(p) for p in clauses])
+    return start_str.substitute({"nvars":str(vars), "var_list":var_list, "ideal":ideal})
     
 def gen_poly_PB(clause):
@@ -154 +177 @@
     out.write(gen_Singular(clauses))
     out.close()
-    
+
+
+def  convert_file_Magma(cnf,invert):
+    clauses=gen_clauses(process_input(open(cnf)))
+    
+    #clauses=gen_clauses(process_input(sys.stdin))
+    if invert:
+        clauses=[[-i for i in c] for c in clauses]
+    #
+#    print clauses
+    #print gen_Singular(clauses)
+    out_file_name=cnf[:-3]+"magma"
+    if invert:
+        out_file_name=out_file_name[:-6]+"Inverted.magma"
+    out=open(out_file_name,"w")
+    #print out
+    out.write(gen_Magma(clauses))
+    out.close()    
     
 if __name__=='__main__':
@@ -175 +215 @@
             convert_file_PB(a, options.invert)
             convert_file_Singular(a, options.invert)
-            
+            convert_file_Magma(a, options.invert)