#12575: Generic p-adic log and exp
-----------------------------+----------------------------------------------
Reporter: mmasdeu | Owner: roed
Type: PLEASE CHANGE | Status: new
Priority: minor | Milestone: sage-5.0
Component: padics | Keywords: exp, log, padic
Work_issues: | Upstream: N/A
Reviewer: | Author: Amnon Besser, Marc Masdeu
Merged: | Dependencies:
-----------------------------+----------------------------------------------
Comment(by was):
This code breaks stuff elsewhere, e.g., when p=2. See this traceback I
got by running "sage -t":
{{{
sage -t devel/sage/sage/rings/finite_rings/integer_mod.pyx
**********************************************************************
File
"/mnt/usb1/scratch/wstein/sage-5.0.beta2-sage.math.washington.edu-x86_64-Linux/devel
/sage-main/sage/rings/finite_rings/integer_mod.pyx", line 1043:
sage: mod(225,2^5*3^2).nth_root(4, all=True)
Exception raised:
Traceback (most recent call last):
File
"/mnt/usb1/scratch/wstein/sage-5.0.beta2-sage.math.washington.edu-x86_64-Linux/local/bin/ncadoctest.py",
line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/mnt/usb1/scratch/wstein/sage-5.0.beta2-sage.math.washington.edu-x86_64-Linux/local/bin/sagedoctest.py",
line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/mnt/usb1/scratch/wstein/sage-5.0.beta2-sage.math.washington.edu-x86_64-Linux/local/bin/ncadoctest.py",
line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_26[7]>", line 1, in <module>
mod(Integer(225),Integer(2)**Integer(5)*Integer(3)**Integer(2)).nth_root(Integer(4),
all=True)###line 1043:
sage: mod(225,2^5*3^2).nth_root(4, all=True)
File "integer_mod.pyx", line 1121, in
sage.rings.finite_rings.integer_mod.IntegerMod_abstract.nth_root
(sage/rings/finite_rings/integer_mod.c:9981)
L.append(mod(self, p**k).nth_root(n, all=True,
algorithm=algorithm))
File "integer_mod.pyx", line 1194, in
sage.rings.finite_rings.integer_mod.IntegerMod_abstract.nth_root
(sage/rings/finite_rings/integer_mod.c:11789)
plog = R(self).log()
File "padic_generic_element.pyx", line 1115, in
sage.rings.padics.padic_generic_element.pAdicGenericElement.log
(sage/rings/padics/padic_generic_element.c:8542)
File "padic_generic_element.pyx", line 1138, in
sage.rings.padics.padic_generic_element.pAdicGenericElement._log
(sage/rings/padics/padic_generic_element.c:8827)
File "element.pyx", line 1799, in
sage.structure.element.RingElement.__div__
(sage/structure/element.c:13262)
File "coerce.pyx", line 797, in
sage.structure.coerce.CoercionModel_cache_maps.bin_op
(sage/structure/coerce.c:7500)
TypeError: unsupported operand parent(s) for '/': '2-adic Ring of
fixed modulus 2^5' and 'Rational Field'
**********************************************************************
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12575#comment:1>
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 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.
