#4240: [with patch; needs work] magma -- increase doctest coverage of magma.py
(all exported methods)
-------------------------+--------------------------------------------------
Reporter: was | Owner: was
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-3.1.3
Component: interfaces | Resolution:
Keywords: |
-------------------------+--------------------------------------------------
Changes (by GeorgSWeber):
* summary: [with patch; needs review] magma -- increase doctest
coverage of magma.py (all exported methods) =>
[with patch; needs work] magma -- increase
doctest coverage of magma.py (all exported
methods)
Comment:
Hi,
several issues.
On the one hand, the first patch does not apply cleanly against 3.1.3
alpha series, since the hunk in gap.py does not fit (the "prompt" funtion
to be removed did get a doctest, so the automatism breaks).
More severely, there are invalid absolute paths in beginning with
"/home/wstein/", specific to your local install, see what I get:
{{{
sage -t -long devel/sage-main/sage/interfaces/magma.py
**********************************************************************
File "/Users/georgweber/Public/sage/sage-3.1.3.alpha1/tmp/magma.py", line
598:
sage: magma.attach_spec('%s/data/extcode/magma/spec2'%SAGE_ROOT)
Expected:
Traceback (most recent call last):
...
RuntimeError: Can't open package spec file
/home/wstein/sage/data/extcode/magma/spec2 for reading (No such file or
directory)
Got:
Traceback (most recent call last):
File
"/Users/georgweber/Public/sage/sage-3.1.3.alpha1/local/lib/python2.5/doctest.py",
line 1228, in __run
compileflags, 1) in test.globs
File "<doctest __main__.example_18[3]>", line 1, in <module>
magma.attach_spec('%s/data/extcode/magma/spec2'%SAGE_ROOT)###line
598:
sage: magma.attach_spec('%s/data/extcode/magma/spec2'%SAGE_ROOT)
File
"/Users/georgweber/Public/sage/sage-3.1.3.alpha1/local/lib/python2.5/site-
packages/sage/interfaces/magma.py", line 605, in attach_spec
raise RuntimeError, s.strip()
RuntimeError: Can't open package spec file
/Users/georgweber/Public/sage/sage-3.1.3.alpha1/data/extcode/magma/spec2
for reading (No such file or directory)
**********************************************************************
File "/Users/georgweber/Public/sage/sage-3.1.3.alpha1/tmp/magma.py", line
626:
sage: print magma.load(SAGE_TMP + 'a.m')
Expected:
Loading "/home/wstein/.sage//temp/one/.../a.m"
hi
Got:
Loading
"/Users/georgweber/.sage//temp/susanne_webers_computer.local/602/a.m"
hi
**********************************************************************
File "/Users/georgweber/Public/sage/sage-3.1.3.alpha1/tmp/magma.py", line
930:
sage: magma.get_verbose("Groebner")
Expected:
2
Got:
0
**********************************************************************
File "/Users/georgweber/Public/sage/sage-3.1.3.alpha1/tmp/magma.py", line
948:
sage: magma.GetVerbose("Groebner")
Expected:
2
Got:
0
**********************************************************************
4 items had failures:
1 of 4 in __main__.example_18
1 of 5 in __main__.example_19
1 of 3 in __main__.example_27
1 of 3 in __main__.example_28
***Test Failed*** 4 failures.
For whitespace errors, see the file
/Users/georgweber/Public/sage/sage-3.1.3.alpha1/tmp/.doctest_magma.py
[34.6 s]
exit code: 1024
----------------------------------------------------------------------
The following tests failed:
sage -t -long devel/sage-main/sage/interfaces/magma.py
Total time for all tests: 34.6 seconds
}}}
The path issues should go away with some triple dots.
However, I have no idea yet what that last "Groebner" issue is (Expected:
2; Got: 0).
My Magma install says: "Magma V2.14-9", what does yours say?
Cheers,
gsw
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4240#comment:5>
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
-~----------~----~----~----~------~----~------~--~---