#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: new
Priority: major | Milestone: sage-4.0.1
Component: commutative algebra | Keywords: polynomial p-adic print mode
cache caching
---------------------------------+------------------------------------------
Comment(by kedlaya):
Replying to [comment:3 mabshoff]:
> David, Nick: Has this problem been fixed due to the work by David merged
in 3.4.1.rc3?
>
> Cheers,
>
> Michael
It would appear so. Consider:
{{{
sage: R = Qp(7, print_mode='val-unit')
sage: S = Qp(7)
sage: R(7^2 + 1)
7^2 * 1 + O(7^22)
sage: S(7^2)
7^2 + O(7^22)
sage: R(7^2 + 1)
50 + O(7^20)
sage: S(7^2 + 1)
1 + 7^2 + O(7^20)
sage: R is S
False
sage: R['x'] is S['x']
False # this is now fixed
sage: R['x'](7^2)
(7^2 * 1 + O(7^22))
sage: S['x'](7^2)
(7^2 + O(7^22))
sage: R['x'](7^2+1)
(50 + O(7^20))
sage: S['x'](7^2+1)
(1 + 7^2 + O(7^20))
}}}
However, this is still puzzling:
{{{
sage: R['x'] == S['x']
False
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1210#comment:4>
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
-~----------~----~----~----~------~----~------~--~---
