[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-42-g9b048fc
Alexander Dreyer
adreyer at gmx.de
Fri Jan 4 23:53:38 UTC 2013
The following commit has been merged in the master branch:
commit 4b1accb4d143953b13080935c61635c53d19de30
Author: Alexander Dreyer <adreyer at gmx.de>
Date: Fri Jan 4 23:42:23 2013 +0100
Upstream fix for PolyGUI from commits 72e6bf8dc and e3dd38cfb2
diff --git a/debian/patches/0005_PolyGUI.patch b/debian/patches/0005_PolyGUI.patch
new file mode 100644
index 0000000..bc2aa0a
--- /dev/null
+++ b/debian/patches/0005_PolyGUI.patch
@@ -0,0 +1,46 @@
+Description: Upstream patch for broken PolyGUI
+ Running PolyGui was broken, but this was fixed upstream in the development
+ branch.
+ .
+ polybori (0.8.2-1~exp1) unstable; urgency=low
+ .
+ * Updating to recent Debian standards
+Author: Alexander Dreyer <adreyer at gmx.de>
+
+---
+The information above should follow the Patch Tagging Guidelines, please
+checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
+are templates for supplementary fields that you might want to add:
+
+Origin: upstream, http://bitbucket.org/brickenstein/polybori/commits/e3dd38cfb2 http://bitbucket.org/brickenstein/polybori/commits/72e6bf8d
+Forwarded: not-needed
+Last-Update: 2013-01-04
+
+--- polybori-0.8.2.orig/gui/PolyGUI
++++ polybori-0.8.2/gui/PolyGUI
+@@ -528,18 +528,21 @@ class BoxLayout(QtGui.QWidget):
+ options.ordering='block_' + options.ordering
+ #mydata=load_file('/p/sys/IndAlg/share/data/uf20_45.py')
+ mydata=load_file(self.filename)
+- I=mydata.ideal
++
++ ring = mydata.r.clone(ordering=getattr(OrderCode, options.ordering))
++ I = [ring(p) for p in mydata.ideal]
+ t=time()
+ tc=clock()
+-
+- change_ordering(getattr(OrderCode, options.ordering))
++
++
+ if match("block",options.ordering):
+ block_starts=parse_blocks(options.blocks,mydata)
+ block_starts.sort()
+ for s in block_starts:
+ append_ring_block(s)
++
+ if not options.auto:
+- I = groebner_basis(I, **dict([(k,getattr(options,k)) for k in dir(options) if k in groebner_basis.options]))
++ I = groebner_basis(I, **dict([(k,getattr(options,k)) for k in dir(options)]))
+ else:
+ I= groebner_basis(I,prot=options.prot)
+
diff --git a/debian/patches/series b/debian/patches/series
index 9cec0a3..32873e4 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@
0002-customize-library-version.patch
0003_support_pkgconfig.patch
0004_SConstruct.patch
+0005_PolyGUI.patch
diff --git a/gui/PolyGUI b/gui/PolyGUI
index e9d1b43..0b5864a 100755
--- a/gui/PolyGUI
+++ b/gui/PolyGUI
@@ -528,18 +528,21 @@ class BoxLayout(QtGui.QWidget):
options.ordering='block_' + options.ordering
#mydata=load_file('/p/sys/IndAlg/share/data/uf20_45.py')
mydata=load_file(self.filename)
- I=mydata.ideal
+
+ ring = mydata.r.clone(ordering=getattr(OrderCode, options.ordering))
+ I = [ring(p) for p in mydata.ideal]
t=time()
tc=clock()
-
- change_ordering(getattr(OrderCode, options.ordering))
+
+
if match("block",options.ordering):
block_starts=parse_blocks(options.blocks,mydata)
block_starts.sort()
for s in block_starts:
append_ring_block(s)
+
if not options.auto:
- I = groebner_basis(I, **dict([(k,getattr(options,k)) for k in dir(options) if k in groebner_basis.options]))
+ I = groebner_basis(I, **dict([(k,getattr(options,k)) for k in dir(options)]))
else:
I= groebner_basis(I,prot=options.prot)
--
polybori: Polynomials over Boolean Rings
More information about the debian-science-commits
mailing list