#5561: is_primitive does not belong in Polynomial because its definition varies
---------------------+------------------------------------------------------
Reporter: rhinton | Owner: tbd
Type: defect | Status: new
Priority: major | Milestone: sage-3.4.1
Component: algebra | Keywords:
---------------------+------------------------------------------------------
Comment(by cremona):
review: needs a little work!
1. insert "not" before "R.is_finite()" !
2. the line return R.ideal(self.coefficient_list())==R.ideal(1) does
not work.
Both these were discovered using plain "sage -t" on the file.
I fear that resolving the second one will reveal nasty inconsistencies in
ideal creation for various rings. First change self.coefficient_list()
to self.list(), I think. And change R.ideal(1) to R.unit_ideal(). then
the only thing which fails is the pair of examples over Integers(10). But
this is a different bug:
{{{
sage: Integers(10).ideal([5,2])
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
/home/masgaj/.sage/temp/host_56_150/31627/_home_masgaj__sage_init_sage_0.py
in <module>()
/local/jec/sage-3.4.1.alpha0/local/lib/python2.5/site-
packages/sage/rings/quotient_ring.pyc in ideal(self, *gens, **kwds)
487 gens = gens[0]
488 from sage.rings.polynomial.multi_polynomial_libsingular
import MPolynomialRing_libsingular
--> 489 if not isinstance(self.__R,MPolynomialRing_libsingular)
and not self.__R._has_singular:
490 # pass through
491 MPolynomialRing_generic.ideal(self,gens,**kwds)
AttributeError: 'sage.rings.integer_ring.IntegerRing_class' object has no
attribute '_has_singular'
}}}
which will have to get ticketed and fixed before this one is done (unless
we just delete that example for now).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5561#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
