#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):
ppl is 0.11, same as yours unless you patched it. We don't.
For all intent and purpose I am the co-maintainer of sage-on-gentoo by the
way.
You just asked me to open a bug with myself :)
Yes this is not with your ppl spkg, I will have to create a set up to
compare
results with vanilla sage and see what's different on x86. But just to
make my point,
we leave enable-fpmath and enable-coefficients to their defaults which
happens to be
what you choose (unless you can point to something subbtle somewhere
else), from
configure.ac:
{{{
enableval=default
fpmath_may_use_387=yes
fpmath_may_use_sse=yes
AC_MSG_CHECKING([whether to select specific floating point arithmetics])
AC_ARG_ENABLE(fpmath,
AS_HELP_STRING([--enable-fpmath=INSTRUCTION_SET],
[select floating point arithmetics]))
case "${enableval}" in
sse)
AC_MSG_RESULT(sse)
OPT_FLAGS="$OPT_FLAGS -msse -mfpmath=sse"
# The SSE instruction set only supports single precision arithmetics:
# double and extended precision arithmetics is still done using 387.
;;
sse2)
AC_MSG_RESULT(sse2)
OPT_FLAGS="$OPT_FLAGS -msse2 -mfpmath=sse"
# SSE2 still does not support extended precision arithmetics.
;;
387)
AC_MSG_RESULT(387)
OPT_FLAGS="$OPT_FLAGS -mno-sse -mno-sse2 -mfpmath=387"
# Note that the -mno-sse* and -mfpmath options are only guaranteed
# to work with GCC.
if test x"$GCC" = xyes
then
fpmath_may_use_sse=no
fi
;;
sse+387)
AC_MSG_RESULT(sse+387)
OPT_FLAGS="$OPT_FLAGS -msse -mfpmath=sse,387"
;;
sse2+387)
AC_MSG_RESULT(sse2+387)
OPT_FLAGS="$OPT_FLAGS -msse2 -mfpmath=sse,387"
;;
default)
AC_MSG_RESULT(default)
;;
no)
AC_MSG_RESULT(default)
;;
*)
AC_MSG_ERROR([bad value ${enableval} for --enable-fpmath, needs sse,
sse2, 387, sse+387, sse2+387, default or no])
;;
esac
}}}
As you can see just saying "no" leaves you with the same thing as
"default" and that is 387 and sse. Same thing for coefficient:
{{{
enableval=mpz
AC_MSG_CHECKING([the type of integral values to use as coefficients])
AC_ARG_ENABLE(coefficients,
AS_HELP_STRING([--enable-coefficients=TYPE],
[select the type of the coefficients]))
case "${enableval}" in
native-int8)
AC_MSG_RESULT([native 8 bits integers])
coefficient_kind=native
coefficient_bits=8
coefficient_mnemonic=nint8
;;
native-int16)
AC_MSG_RESULT([native 16 bits integers])
coefficient_kind=native
coefficient_bits=16
coefficient_mnemonic=nint16
;;
native-int32)
AC_MSG_RESULT([native 32 bits integers])
coefficient_kind=native
coefficient_bits=32
coefficient_mnemonic=nint32
;;
native-int64)
AC_MSG_RESULT([native 64 bits integers])
coefficient_kind=native
coefficient_bits=64
coefficient_mnemonic=nint64
;;
checked-int8)
AC_MSG_RESULT([checked 8 bits integers])
coefficient_kind=checked
coefficient_bits=8
coefficient_mnemonic=int8
;;
checked-int16)
AC_MSG_RESULT([checked 16 bits integers])
coefficient_kind=checked
coefficient_bits=16
coefficient_mnemonic=int16
;;
checked-int32)
AC_MSG_RESULT([checked 32 bits integers])
coefficient_kind=checked
coefficient_bits=32
coefficient_mnemonic=int32
;;
checked-int64)
AC_MSG_RESULT([checked 64 bits integers])
coefficient_kind=checked
coefficient_bits=64
coefficient_mnemonic=int64
;;
mpz)
AC_MSG_RESULT([GMP mpz])
coefficient_kind=unbounded
coefficient_bits=0
coefficient_mnemonic=mpz
;;
*)
AC_MSG_ERROR([bad value ${enableval} for --enable-coefficients, checked-
int32, checked-int64, checked-int16, checked-int8, mpz, native-int32,
native-int64, native-int16 or native-int8])
;;
esac
}}}
Again mpz is the default if you don't pass anything.
So unless you have patched these behaviors - and you didn't, we have very
similar configurations, we pass
{{{
--disable-debugging --disable-optimization --enable-ppl_lpsol --disable-
pch --disable-watchdog
}}}
Since I have a different result for two different x86 setup I am wondering
if the great age of my home machine (close to 8 years) is a factor.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10039#comment:49>
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.
