latte-integrale-1.7.1-4-omv2015.0.x86_64.rpm


Advertisement

Description

latte-integrale - Lattice point enumeration

Distribution: OpenMandriva Cooker
Repository: OpenMandriva Contrib x86_64
Package name: latte-integrale
Package version: 1.7.1
Package release: 4-omv2015.0
Package architecture: x86_64
Package type: rpm
Installed size: 2.29 MB
Download size: 1.08 MB
Official Mirror: abf-downloads.openmandriva.org
LattE (Lattice point Enumeration) is a computer software dedicated to the problems of counting lattice points and integration inside convex polytopes. LattE contains the first ever implementation of Barvinok's algorithm. The LattE macchiato version (by M. K?ppe) incorporated fundamental improvements and speed ups. Now the latest version, LattE integrale, has the ability to directly compute integrals of polynomial functions over polytopes and in particular to do volume computations.

Alternatives

Provides

  • latte-integrale == 1.7.1-4:2015.0
  • liblatte.so.0()(64bit)
  • libnormalize.so.0()(64bit)

    Install Howto

    1. Enable OpenMandriva Contrib repository on Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install latte-integrale rpm package:
      # urpmi latte-integrale

    Files

    • /usr/bin/ConvertCDDextToLatte
    • /usr/bin/ConvertCDDineToLatte
    • /usr/bin/count-linear-forms-from-polynomial
    • /usr/bin/ehrhart
    • /usr/bin/ehrhart3
    • /usr/bin/hilbert-from-rays
    • /usr/bin/hilbert-from-rays-symm
    • /usr/bin/latte-count
    • /usr/bin/latte-integrate
    • /usr/bin/latte-maximize
    • /usr/bin/latte-minimize
    • /usr/bin/latte-triangulate
    • /usr/bin/latte2ext
    • /usr/bin/latte2ine
    • /usr/bin/polyhedron-to-cones
    • /usr/bin/top-ehrhart-knapsack
    • /usr/lib64/liblatte.so.0
    • /usr/lib64/liblatte.so.0.0.0
    • /usr/lib64/libnormalize.so.0
    • /usr/lib64/libnormalize.so.0.0.0
    • /usr/share/doc/latte-integrale/AUTHORS
    • /usr/share/doc/latte-integrale/COPYING
    • /usr/share/doc/latte-integrale/Conebyconeapproximations_08_11_2010.mpl
    • /usr/share/doc/latte-integrale/TODO
    • /usr/share/doc/latte-integrale/simplify.add
    • /usr/share/doc/latte-integrale/simplify2.add
    • /usr/share/doc/latte-integrale/simplify3.add
    • /usr/share/doc/latte-integrale/doc/NEWS
    • /usr/share/doc/latte-integrale/doc/README
    • /usr/share/doc/latte-integrale/doc/manual.pdf
    • /usr/share/doc/latte-integrale/examples/24_cell
    • /usr/share/doc/latte-integrale/examples/24_cell.cost
    • /usr/share/doc/latte-integrale/examples/24_cell_latte
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_1.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_10.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_11.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_12.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_13.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_14.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_15.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_16.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_17.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_18.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_2.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_3.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_4.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_5.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_6.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_7.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_8.equ
    • /usr/share/doc/latte-integrale/examples/3x3x3_semi_9.equ
    • /usr/share/doc/latte-integrale/examples/3x3x4_1.equ
    • /usr/share/doc/latte-integrale/examples/4flow_1.equ
    • /usr/share/doc/latte-integrale/examples/4flow_2.equ
    • /usr/share/doc/latte-integrale/examples/4flow_3.equ
    • /usr/share/doc/latte-integrale/examples/4x4Table1
    • /usr/share/doc/latte-integrale/examples/4x4Table10
    • /usr/share/doc/latte-integrale/examples/4x4Table11
    • /usr/share/doc/latte-integrale/examples/4x4Table2
    • /usr/share/doc/latte-integrale/examples/4x4Table3
    • /usr/share/doc/latte-integrale/examples/4x4Table4
    • /usr/share/doc/latte-integrale/examples/4x4Table5
    • /usr/share/doc/latte-integrale/examples/4x4Table6
    • /usr/share/doc/latte-integrale/examples/4x4Table7
    • /usr/share/doc/latte-integrale/examples/4x4Table8
    • /usr/share/doc/latte-integrale/examples/4x4Table9
    • /usr/share/doc/latte-integrale/examples/4x5_1
    • /usr/share/doc/latte-integrale/examples/4x5_2
    • /usr/share/doc/latte-integrale/examples/4x5_3
    • /usr/share/doc/latte-integrale/examples/5flow_1.equ
    • /usr/share/doc/latte-integrale/examples/5flow_2.equ
    • /usr/share/doc/latte-integrale/examples/5flow_3.equ
    • /usr/share/doc/latte-integrale/examples/HivePolytopeImpossible
    • /usr/share/doc/latte-integrale/examples/HivePolytopeMinutes1
    • /usr/share/doc/latte-integrale/examples/HivePolytopeMinutes2
    • /usr/share/doc/latte-integrale/examples/HivePolytopeMinutes3
    • /usr/share/doc/latte-integrale/examples/HivePolytopeMinutes4
    • /usr/share/doc/latte-integrale/examples/HivePolytopeMinutes5
    • /usr/share/doc/latte-integrale/examples/HivePolytopeSeconds
    • /usr/share/doc/latte-integrale/examples/aardallenstra.equ
    • /usr/share/doc/latte-integrale/examples/cross-polytope-10.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-11.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-12.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-13.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-14.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-15.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-16.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-17.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-18.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-19.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-2.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-20.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-21.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-22.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-23.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-24.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-25.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-26.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-27.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-28.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-29.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-3.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-30.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-4.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-5.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-6.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-7.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-8.vrep
    • /usr/share/doc/latte-integrale/examples/cross-polytope-9.vrep
    • /usr/share/doc/latte-integrale/examples/cube
    • /usr/share/doc/latte-integrale/examples/cube2
    • /usr/share/doc/latte-integrale/examples/cuww1
    • /usr/share/doc/latte-integrale/examples/cuww1.cost
    • /usr/share/doc/latte-integrale/examples/cuww1_1.equ
    • /usr/share/doc/latte-integrale/examples/cuww2_1.equ
    • /usr/share/doc/latte-integrale/examples/cuww3_1.equ
    • /usr/share/doc/latte-integrale/examples/cuww4_1.equ
    • /usr/share/doc/latte-integrale/examples/cuww5_1.equ
    • /usr/share/doc/latte-integrale/examples/dean1
    • /usr/share/doc/latte-integrale/examples/dean2
    • /usr/share/doc/latte-integrale/examples/dean3
    • /usr/share/doc/latte-integrale/examples/digraph4_1.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_10.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_2.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_3.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_4.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_5.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_6.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_7.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_8.equ
    • /usr/share/doc/latte-integrale/examples/digraph4_9.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_1.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_10.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_2.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_3.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_4.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_5.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_6.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_7.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_8.equ
    • /usr/share/doc/latte-integrale/examples/digraph5_9.equ
    • /usr/share/doc/latte-integrale/examples/example1
    • /usr/share/doc/latte-integrale/examples/example2
    • /usr/share/doc/latte-integrale/examples/example3
    • /usr/share/doc/latte-integrale/examples/hickerson-10
    • /usr/share/doc/latte-integrale/examples/hickerson-11
    • /usr/share/doc/latte-integrale/examples/hickerson-12
    • /usr/share/doc/latte-integrale/examples/hickerson-13
    • /usr/share/doc/latte-integrale/examples/hickerson-14
    • /usr/share/doc/latte-integrale/examples/hickerson-15
    • /usr/share/doc/latte-integrale/examples/hickerson-16
    • /usr/share/doc/latte-integrale/examples/hickerson-17
    • /usr/share/doc/latte-integrale/examples/hickerson-18
    • /usr/share/doc/latte-integrale/examples/hickerson-19
    • /usr/share/doc/latte-integrale/examples/hickerson-20
    • /usr/share/doc/latte-integrale/examples/hickerson-24
    • /usr/share/doc/latte-integrale/examples/hickerson-28
    • /usr/share/doc/latte-integrale/examples/hickerson-32
    • /usr/share/doc/latte-integrale/examples/hickerson-36
    • /usr/share/doc/latte-integrale/examples/hickerson-7
    • /usr/share/doc/latte-integrale/examples/hickerson-8
    • /usr/share/doc/latte-integrale/examples/hickerson-9
    • /usr/share/doc/latte-integrale/examples/hyp_simp_4_1.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_4_2.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_4_3.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_5_1.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_5_2.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_5_3.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_5_4.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_6_1.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_6_2.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_6_3.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_6_4.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_6_5.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_7_1.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_7_2.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_7_3.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_7_4.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_7_5.equ
    • /usr/share/doc/latte-integrale/examples/hyp_simp_7_6.equ
    • /usr/share/doc/latte-integrale/examples/implied-equation.latte
    • /usr/share/doc/latte-integrale/examples/knapsack1.equ
    • /usr/share/doc/latte-integrale/examples/knapsack2.equ
    • /usr/share/doc/latte-integrale/examples/knapsackbaby1.equ
    • /usr/share/doc/latte-integrale/examples/knapsackbaby2.equ
    • /usr/share/doc/latte-integrale/examples/magic4x4
    • /usr/share/doc/latte-integrale/examples/magic5x5
    • /usr/share/doc/latte-integrale/examples/missing-newline-2.latte
    • /usr/share/doc/latte-integrale/examples/missing-newline-3.latte
    • /usr/share/doc/latte-integrale/examples/missing-newline.latte
    • /usr/share/doc/latte-integrale/examples/mountExample1
    • /usr/share/doc/latte-integrale/examples/mountExample2
    • /usr/share/doc/latte-integrale/examples/mountExample3
    • /usr/share/doc/latte-integrale/examples/mountExample4
    • /usr/share/doc/latte-integrale/examples/mountExample5
    • /usr/share/doc/latte-integrale/examples/prob10_1.equ
    • /usr/share/doc/latte-integrale/examples/prob1_1.equ
    • /usr/share/doc/latte-integrale/examples/prob2_1.equ
    • /usr/share/doc/latte-integrale/examples/prob3_1.equ
    • /usr/share/doc/latte-integrale/examples/prob4_1.equ
    • /usr/share/doc/latte-integrale/examples/prob5_1.equ
    • /usr/share/doc/latte-integrale/examples/prob6_1.equ
    • /usr/share/doc/latte-integrale/examples/prob7_1.equ
    • /usr/share/doc/latte-integrale/examples/test4x4_1
    • /usr/share/doc/latte-integrale/examples/test4x4_2
    • /usr/share/doc/latte-integrale/examples/test4x4_3
    • /usr/share/doc/latte-integrale/examples/tru_cube_latte
    • /usr/share/doc/latte-integrale/examples/tru_simplex_latte

    Changelog

    2014-05-09 - pcpa <paulo.cesar.pereira.de.andrade@gmail.com> 1.7.1-4 + Revision: c63d192 - Rebuild to use environment modules. - This avoids conflicts with too common file names. This package - actually did conflict with llvm due to too common binary names.

    Advertisement
    Advertisement