#18225: Missing polytopes in the library
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: geometry | Resolution:
Keywords: beginner, | Merged in:
polytope | Reviewers:
Authors: Nico Van | Work issues:
Cleemput, Frédéric Chapoton | Commit:
Report Upstream: N/A | 6bf290409371af50d04ddd8c7f42a95969a2c58e
Branch: | Stopgaps:
public/ticket/18225 |
Dependencies: #18213 |
-------------------------------------+-------------------------------------
Comment (by nvcleemp):
Replying to [comment:30 tscrim]:
> Here is how you can create `phi` and `xi`:
> {{{
> sage: Q = QuadraticField(5, 'sqrt5')
> sage: sqrt5 = Q.gen()
> sage: phi = (1 + sqrt5)/2
> sage: A = NumberField(x^3 - 2*x - phi, 'xi')
> sage: xi = A.gen()
> }}}
> You can also use `RDF` for an `exact=False` input.
I had already tried something similar, but then and now I get the same
error:
{{{
sage: A = NumberField(x^3 -2*x - phi, 'xi')
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
<ipython-input-5-44b6c4f1fa2d> in <module>()
----> 1 A = NumberField(x**Integer(3) -Integer(2)*x - phi, 'xi')
/home/nvcleemp/Sage/sage/local/lib/python2.7/site-
packages/sage/rings/number_field/number_field.pyc in
NumberField(polynomial, name, check, names, embedding, latex_name,
assume_disc_small, maximize_at_primes, structure)
454 return NumberFieldTower(polynomial, names=name,
check=check, embeddings=embedding, latex_names=latex_name,
assume_disc_small=assume_disc_small,
maximize_at_primes=maximize_at_primes, structures=structure)
455
--> 456 return NumberField_version2(polynomial=polynomial, name=name,
check=check, embedding=embedding, latex_name=latex_name,
assume_disc_small=assume_disc_small,
maximize_at_primes=maximize_at_primes, structure=structure)
457
458 class NumberFieldFactory(UniqueFactory):
/home/nvcleemp/Sage/sage/src/sage/structure/factory.pyx in
sage.structure.factory.UniqueFactory.__call__
(/home/nvcleemp/Sage/sage/src/build/cythonized/sage/structure/factory.c:1231)()
362 False
363 """
--> 364 key, kwds = self.create_key_and_extra_args(*args, **kwds)
365 version = self.get_version(sage_version)
366 return self.get_object(version, key, kwds)
/home/nvcleemp/Sage/sage/local/lib/python2.7/site-
packages/sage/rings/number_field/number_field.pyc in
create_key_and_extra_args(self, polynomial, name, check, embedding,
latex_name, assume_disc_small, maximize_at_primes, structure)
530 polynomial = polynomial.polynomial(QQ)
531 except (AttributeError, TypeError):
--> 532 raise TypeError("polynomial (=%s) must be a
polynomial." % polynomial)
533
534 # convert polynomial to a polynomial over a field
TypeError: polynomial (=x^3 - 2*x - 1/2*sqrt(5) - 1/2) must be a
polynomial.
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18225#comment:31>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
