20191108 11:55:56 0600
 received badge  ● Popular Question
(source)

20170322 16:12:37 0600
 received badge  ● Popular Question
(source)

20110710 09:53:50 0600
 commented question  Modifying PALP settings Edited to include the code. 
20110710 00:11:24 0600
 asked a question  Modifying PALP settings I encounter an error from PALP when I try to create a dual cone. I create a cone Cstar as an intersection of several other cones, then try to create its dual: Cstar.dual();
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "_sage_input_25.py", line 10, in <module>
exec compile(u'open("___code___.py","w").write("# * coding: utf8 *\\n" + _support_.preparse_worksheet_cell(base64.b64decode("Q3N0YXIuZHVhbCgp"),globals())+"\\n"); execfile(os.path.abspath("___code___.py"))
File "", line 1, in <module>
File "/tmp/tmpFOwj4h/___code___.py", line 2, in <module>
exec compile(u'Cstar.dual()
File "", line 1, in <module>
File "/opt/sage47/local/lib/python2.6/sitepackages/sage/geometry/cone.py", line 1608, in dual
rays = list(self.facet_normals())
File "/opt/sage47/local/lib/python2.6/sitepackages/sage/geometry/cone.py", line 2123, in facet_normals
for i in range(P.nfacets()):
File "/opt/sage47/local/lib/python2.6/sitepackages/sage/geometry/lattice_polytope.py", line 2196, in nfacets
if self.is_reflexive():
File "/opt/sage47/local/lib/python2.6/sitepackages/sage/geometry/lattice_polytope.py", line 1930, in is_reflexive
self._read_equations(self.poly_x("e"))
File "/opt/sage47/local/lib/python2.6/sitepackages/sage/geometry/lattice_polytope.py", line 2712, in poly_x
return self._palp("poly.x f" + keys, reduce_dimension)
File "/opt/sage47/local/lib/python2.6/sitepackages/sage/geometry/lattice_polytope.py", line 1026, in _palp
self, self.vertices(), result)
ValueError: Error executing "poly.x fe" for the given polytope!
Polytope: A lattice polytope: 10dimensional, 47 vertices.
Vertices:
...[a large matrix]
Output:
increase POLY_Dmax!
How do I increase POLY_Dmax? 
20110623 14:29:07 0600
 marked best answer  Magma object from magma.eval()? Suppose you created a polynomial in Magma with the following command: sage: magma.eval('R<x> := PolynomialRing(RationalField()); f := (x17/2)^3;')
Then, you can get a Sage version of that object like this: sage: magma('f').sage()
The magma('f') part creates an object (MagmaElement ) in Sage which is basically a pointer to the variable f in the Magma session. (You can actually use this perform calls on this objects which will translate to Magma commands. For example, magma('f').Factorization() is basically same as doing magma.eval('result := Factorization(f);') and returning magma('result') .) The sage() method will convert a MagmaElement to the corresponding Sage object if possible. 
20110623 08:30:36 0600
 received badge  ● Student
(source)

20110623 08:13:33 0600
 asked a question  Magma object from magma.eval()? How can I get a Magma object to use inside of Sage from something created in Magma through magma.eval()? Is this possible? 
20110623 05:47:46 0600
 marked best answer  Specifying cardinality for action of permutation group In ticket 10335, there is a patch which will allow one to specify the domain of the permutation group (and hence its cardinality). For example, you'll be able to do something like sage: P = PermutationGroup([[(1,2)], [(1,3),(2,4)]], domain=[1,2,3,4,5])
sage: P.degree()
5
where as now in Sage you would get 4 for the degree. This will also be passed on to Magma. I'm hoping that this will be in the next release of Sage. 
20110623 05:47:46 0600
 received badge  ● Scholar
(source)

20110622 09:06:48 0600
 commented answer  Specifying cardinality for action of permutation group Thanks! Can you point me a reference on how to apply the patches? 
20110622 08:29:54 0600
 received badge  ● Editor
(source)

20110622 08:26:18 0600
 received badge  ● Supporter
(source)

20110621 19:09:49 0600
 asked a question  Specifying cardinality for action of permutation group In Magma, it is possible to create a permutation group with something like G := PermutationGroup<nrelations>, where $n$ is to be the cardinality of the set the group acts on. One needs this cardinality to use a GModule method. I would like to create such a group in Sage and then port it to Magma to create a GModule, but I always end up with a Magma element having too small a cardinality. Is it possible to specify such a cardinality in Sage? Can it be created as a subgroup of $S_n$? I did not have luck with that. 