#1210: [with patch, needs work] Cannot create distinct polynomial rings over
p-adic rings with different print_modes
-------------------------------------+-------------------------------------
Reporter: ncalexan | Owner: roed
Type: defect | Status: positive_review
Priority: major | Milestone: sage-
Component: commutative | duplicate/invalid/wontfix
algebra | Resolution:
Keywords: polynomial p-adic | Merged in:
print mode cache caching | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by aapitzsch):
* status: needs_review => positive_review
Comment:
Replying to [comment:5 tscrim]:
> I get with `5.9.beta1`:
> {{{
> sage: sage: R = Qp(7, print_mode='val-unit')
> sage: sage: S = Qp(7)
> sage: R is S
> False
> sage: R == S
> False
> sage: R['x'] == S['x']
> False
> sage: R['x'] is S['x']
> False
> }}}
> which is the expected behavior due to `UniqueRepresentation` parents.
It should be due to `UniqueFactory` (in `6.2.beta3`). But anyway,
documentation of {{{Qp}}} says
{{{
PRINTING:
There are many different ways to print `p`-adic elements.
...
Note that the printing options affect whether different
`p`-adic fields are considered equal.
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/1210#comment:6>
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.
