#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):
On second thougths, Carl Witty's suggestion seems to be overdoing things a
bit.
We could just do this (all explained properly in docstrings, of course):
{{{
R=self.base_ring()
if R.is_field() and R.is_finite():
# use the current code
else:
return R.ideal(self.coefficient_list())==R.ideal(1)
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5561#comment:1>
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
-~----------~----~----~----~------~----~------~--~---
