#6504: [with patch, needs work] Add doctests to toy_buchberger to get it to 100%
-------------------------+--------------------------------------------------
Reporter: mhampton | Owner: tbd
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.1.1
Component: algebra | Keywords: groebner basis, buchberger
Reviewer: malb | Author:
Merged: |
-------------------------+--------------------------------------------------
Comment(by mvngu):
With the patch {{{trac_6504_toy_buch.3.patch}}}, I'm seeing some doctest
failures:
{{{
sage -t -long devel/sage-
exp/sage/rings/polynomial/multi_polynomial_ideal.py
**********************************************************************
File "/scratch/mvngu/release/sage-4.1.1.alpha0/devel/sage-
exp/sage/rings/polynomial/multi_polynomial_ideal.py", line 944:
sage: I.dimension()
Exception raised:
Traceback (most recent call last):
File
"/scratch/mvngu/release/sage-4.1.1.alpha0/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/scratch/mvngu/release/sage-4.1.1.alpha0/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/scratch/mvngu/release/sage-4.1.1.alpha0/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_19[9]>", line 1, in <module>
I.dimension()###line 944:
sage: I.dimension()
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 402,
in __call__
return self.f(self._instance, *args, **kwds)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 978,
in dimension
gb = toy_buchberger.buchberger_improved(self)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/toy_buchberger.py", line 279, in
buchberger_improved
h = spol(g1,g2).reduce(G)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/toy_buchberger.py", line 175, in spol
return p(fg_lcm/LT(f)*f - fg_lcm/LT(g)*g)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/multi_polynomial_ring.py", line 422,
in __call__
raise TypeError, "unable to coerce since the denominator is not 1"
TypeError: unable to coerce since the denominator is not 1
**********************************************************************
File "/scratch/mvngu/release/sage-4.1.1.alpha0/devel/sage-
exp/sage/rings/polynomial/multi_polynomial_ideal.py", line 948:
sage: I.dimension()
Exception raised:
Traceback (most recent call last):
File
"/scratch/mvngu/release/sage-4.1.1.alpha0/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/scratch/mvngu/release/sage-4.1.1.alpha0/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/scratch/mvngu/release/sage-4.1.1.alpha0/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_19[11]>", line 1, in <module>
I.dimension()###line 948:
sage: I.dimension()
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 402,
in __call__
return self.f(self._instance, *args, **kwds)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 978,
in dimension
gb = toy_buchberger.buchberger_improved(self)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/toy_buchberger.py", line 279, in
buchberger_improved
h = spol(g1,g2).reduce(G)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/toy_buchberger.py", line 175, in spol
return p(fg_lcm/LT(f)*f - fg_lcm/LT(g)*g)
File "/scratch/mvngu/release/sage-4.1.1.alpha0/local/lib/python
/site-packages/sage/rings/polynomial/multi_polynomial_ring.py", line 422,
in __call__
raise TypeError, "unable to coerce since the denominator is not 1"
TypeError: unable to coerce since the denominator is not 1
**********************************************************************
1 items had failures:
2 of 15 in __main__.example_19
***Test Failed*** 2 failures.
For whitespace errors, see the file
/scratch/mvngu/release/sage-4.1.1.alpha0/tmp/.doctest_multi_polynomial_ideal.py
[13.4 s]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6504#comment:5>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
