#7595: Chinese Remainder Theorem for univariate polynomials over a field
-------------------------------------------+--------------------------------
Reporter: rlm | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.3.1
Component: algebra | Resolution: fixed
Keywords: | Work_issues:
Author: Robert Miller | Upstream: N/A
Reviewer: Robert Bradshaw, John Cremona | Merged:
-------------------------------------------+--------------------------------
Changes (by mhansen):
* status: closed => needs_work
* merged: sage-4.3.1.alpha0 =>
Comment:
This causes failures in the following file
{{{sage/quadratic_forms/quadratic_form__ternary_Tornaria.py}}}:
{{{
**********************************************************************
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/devel
/sage-main/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py", line
476:
sage: map(Q1.xi_rec, [-1,2,3,5])
Exception raised:
Traceback (most recent call last):
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/bin/ncadoctest.py",
line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/bin/sagedoctest.py",
line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/bin/ncadoctest.py",
line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_18[8]>", line 1, in <module>
map(Q1.xi_rec,
[-Integer(1),Integer(2),Integer(3),Integer(5)])###line 476:
sage: map(Q1.xi_rec, [-1,2,3,5])
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 481, in xi_rec
return self.reciprocal().xi(p)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 456, in xi
return kronecker_symbol(p, self.basiclemma(2))
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 385, in basiclemma
a=self(self.basiclemmavec(M))
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 416, in basiclemmavec
return CRT_list(vec,mod)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/rings/arith.py", line 2522, in CRT_list
return moduli[0].parent()(v[0])
File "parent.pyx", line 538, in
sage.structure.parent.Parent.__call__ (sage/structure/parent.c:4956)
File "coerce_maps.pyx", line 82, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(sage/structure/coerce_maps.c:3142)
File "coerce_maps.pyx", line 77, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(sage/structure/coerce_maps.c:3040)
File "integer.pyx", line 653, in sage.rings.integer.Integer.__init__
(sage/rings/integer.c:6803)
TypeError: unable to coerce <type
'sage.modules.vector_integer_dense.Vector_integer_dense'> to an integer
**********************************************************************
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/devel
/sage-main/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py", line
478:
sage: map(Q2.xi_rec, [-1,2,3,5])
Exception raised:
Traceback (most recent call last):
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/bin/ncadoctest.py",
line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/bin/sagedoctest.py",
line 38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/bin/ncadoctest.py",
line 1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_18[9]>", line 1, in <module>
map(Q2.xi_rec,
[-Integer(1),Integer(2),Integer(3),Integer(5)])###line 478:
sage: map(Q2.xi_rec, [-1,2,3,5])
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 481, in xi_rec
return self.reciprocal().xi(p)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 456, in xi
return kronecker_symbol(p, self.basiclemma(2))
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 385, in basiclemma
a=self(self.basiclemmavec(M))
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/quadratic_forms/quadratic_form__ternary_Tornaria.py",
line 416, in basiclemmavec
return CRT_list(vec,mod)
File
"/virtual/scratch/mhansen/release/4.3.1/alpha0/sage-4.3.1.alpha0/local/lib/python
/site-packages/sage/rings/arith.py", line 2522, in CRT_list
return moduli[0].parent()(v[0])
File "parent.pyx", line 538, in
sage.structure.parent.Parent.__call__ (sage/structure/parent.c:4956)
File "coerce_maps.pyx", line 82, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(sage/structure/coerce_maps.c:3142)
File "coerce_maps.pyx", line 77, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(sage/structure/coerce_maps.c:3040)
File "integer.pyx", line 653, in sage.rings.integer.Integer.__init__
(sage/rings/integer.c:6803)
TypeError: unable to coerce <type
'sage.modules.vector_integer_dense.Vector_integer_dense'> to an integer
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7595#comment:12>
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.
