Changeset d961eb in git

Timestamp:

Jul 25, 2006, 3:39:19 PM (17 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')

Children:

fa81226305817be32323832f3a91b0fc7fa3f53b

Parents:

d8e1214b67367455caed6a591c20ae017b31cec7

Message:

*bricken: + magma support


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

File:

• Singular/cnf2ideal.py (modified) (1 diff)

Singular/cnf2ideal.py

@@ -108 +108 @@
     var_list=", ".join(["x"+str(i+1) for i in xrange(vars)])
     ideal=",\n".join([gen_poly_Magma(p) for p in clauses])
+    ideal=ideal+",\n"+",\n".join(["x"+str(i)+"^2+x"+str(i) for i in xrange(1,vars+1)])
     return start_str.substitute({"nvars":str(vars), "var_list":var_list, "ideal":ideal})