#10039: Make Parma Polyhedra Library a standard library
--------------------------------+-------------------------------------------
Reporter: vbraun | Owner: mhampton
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-feature
Component: geometry | Keywords: ppl spkg
Author: Volker Braun | Upstream: N/A
Reviewer: Marshall Hampton | Merged:
Work_issues: |
--------------------------------+-------------------------------------------
Comment(by fbissey):
I got a weird test failure if you have an idea:
{{{
sage -t -force_lib "devel/sage/sage/libs/ppl.pyx"
size 3 1 3 2 f -RPI_V -RPI -NNC_V -NNC
topology NECESSARILY_CLOSED
1 x 3 (sorted)
index_first_pending 1
1 3 2 P
size 4 1 3 2 -1 f -RPI_V +RPI -NNC_V +NNC
topology NOT_NECESSARILY_CLOSED
1 x 4 (sorted)
index_first_pending 1
-1 3 -2 -1 >
NOTHINGNOTHING**********************************************************************
File "/usr/share/sage/devel/sage/sage/libs/ppl.pyx", line 1271:
sage: p.maximize( +x )
Expected:
{'sup_d': 0, 'sup_n': 0, 'bounded': False, 'maximum': False,
'generator': None}
Got:
{'sup_d': 0, 'sup_n': 0, 'bounded': False, 'maximum': True,
'generator': None}
**********************************************************************
File "/usr/share/sage/devel/sage/sage/libs/ppl.pyx", line 1340:
sage: p.minimize( -x )
Expected:
{'minimum': False, 'bounded': False, 'inf_d': 0, 'generator': None,
'inf_n': 0}
Got:
{'minimum': True, 'bounded': False, 'inf_d': 0, 'generator': None,
'inf_n': 0}
space_dim 2
-ZE -EM +CM +GM +CS +GS -CP -GP -SC +SG
con_sys (up-to-date)
topology NECESSARILY_CLOSED
2 x 3 (sorted)
index_first_pending 2
-1 3 2 =
1 0 0 >=
gen_sys (up-to-date)
topology NECESSARILY_CLOSED
2 x 3 (not_sorted)
index_first_pending 2
0 2 -3 L
2 0 1 P
sat_c
0 x 0
sat_g
2 x 2
0 0
0 1
**********************************************************************
File "/usr/share/sage/devel/sage/sage/libs/ppl.pyx", line 2204:
sage: C_Polyhedron(1, 'empty').max_space_dimension()
Expected:
1152921504606846973
Got:
357913939
size 3 1 3 2 f -RPI_V -RPI -NNC_V -NNC
**********************************************************************
3 items had failures:
1 of 15 in __main__.example_29
1 of 15 in __main__.example_30
1 of 4 in __main__.example_48
***Test Failed*** 3 failures.
For whitespace errors, see the file
/home/francois/.sage/tmp/.doctest_ppl.py
[15.8 s]
----------------------------------------------------------------------
The following tests failed:
sage -t -force_lib "devel/sage/sage/libs/ppl.pyx"
Total time for all tests: 15.8 seconds
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10039#comment:42>
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.
