latte
latte copied to clipboard
latte-int
LattE integrale, software for counting lattice points and integration over convex polytopes
I followed step 2 of the documentation on how to install NTL and the installation was successful. However, when I perform "make install" for LattE in step N., the following...
I was hoping to use this library to integrate polynomial functions over polytopes inside a c++ application, so I tried to browse inside the drivers that have a `main()`, It...
Test suite fails when packaged for conda-forge: 2023-09-15T17:07:19.5253123Z FAIL: test-library-examples 2023-09-15T17:07:19.5253372Z =========================== 2023-09-15T17:07:19.5253507Z 2023-09-15T17:07:19.5253732Z Removing redundant inequalities and finding hidden equalities using cddlib...done. 2023-09-15T17:07:19.5253995Z Ax
The CI setup here seems to be broken. At least it's all red. Can something be done about this?
Hello, I would guess these installation issues are environment-specific. But I'll mention them here anyways: * **Installing NTL.** I found that I needed to add an `-fPIC` flag during the...
A small modification of the example code in issue #32 results in the error SetLength: can't change this vector's length The Sage code is quoted below and it can also...
Running integrate on a small polytope as explained at https://ask.sagemath.org/question/64141/ and illustrated [at Sagecell](https://sagecell.sagemath.org/?z=eJxNjsEKgzAQRO-C_7DHBNIQe_cfPJReREowqw2osZvtoX_fxFLiYZeZN8syE4UVop1R-42RJjti1ItlRvDrHogh85ksY1110EIXls8THYVNeHzFtu-NgkZB2mZQ0Cd5OVlzyKa4f17CDEtocn569JsMsroeN80wyLraKVUTpZ-ATo_OPe6EO2HEjS37VFMqSLi90RtBgvwCbbxCDQ==&lang=sage&interacts=eJyLjgUAARUAuQ==) results in the error: integrate: latte_gmp.cpp:76: NTL::ZZ convert_mpq_to_ZZ(__mpq_struct*): Assertion `elt.get_den() == 1' failed.
Currently the sagemath package Zeta (http://www.maths.nuigalway.ie/~rossmann/Zeta/) is monkey-patching Latte to use some Latte results in sagemath. Here is a proposal to integrate what they use for the conversion, which is...
I proposed latte for inclusion into openSUSE; the first terse response from the legal corner was: ``` GPL-2.0: 127 files latte-int-1.7.5/code/latte/CheckEmpty.h ... GPL-3.0+: 57 files latte-int-1.7.5/code/gnulib/areadlink.c ... The GPL-2.0-only does...
I'm buildin latte in debian buster. In debian `scdd` and `scdd_gmp` executables are in `/usr/lib/cdd-tools/`. I tried configuring with `--with-cddlib=/usr/lib/cdd-tools` but had no success ``` checking for scdd_gmp... no checking...
