package info (click to toggle)
normaliz 3.1.1%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 21,636 kB
  • ctags: 1,508
  • sloc: cpp: 18,185; makefile: 253

Folder: example

d .. (parent)
- - rw-r--r-- 31 2cone.in
- - rw-r--r-- 50 2cone_ineq.in
- - rw-r--r-- 52 2cone_int.in
- - rw-r--r-- 62 2cone_supp.in
- - rw-r--r-- 111 2equations.in
- - rw-r--r-- 88 2equations_default.in
- - rw-r--r-- 219 3x3magic.in
- - rw-r--r-- 313 3x3magiceven.in
- - rw-r--r-- 117 3x3magiceven_lat.in
- - rw-r--r-- 120 3x3magiceven_sat.in
- - rw-r--r-- 463 4x4.in
- - rw-r--r-- 855 5x5.in
- - rw-r--r-- 864 5x5dual.in
- - rw-r--r-- 1,353 6x6.in
- - rw-r--r-- 3,886 A443.in
- - rw-r--r-- 5,686 A543.in
- - rw-r--r-- 8,296 A553.in
- - rw-r--r-- 7,828 A643.in
- - rw-r--r-- 54 ChineseRemainder.in
- - rw-r--r-- 533 CondEffPlur.in
- - rw-r--r-- 1,234,490 CondEffPlurHilbBas.in
- - rw-r--r-- 523 CondEffPlurSemi.in
- - rw-r--r-- 243 CondEffPlurSymm.in
- - rw-r--r-- 113 CondEffPlurSymm.pnm
- - rw-r--r-- 245 CondEffPlurSymmSemi.in
- - rw-r--r-- 281 Condorcet.in
- - rw-r--r-- 302 CondorcetInt.in
- - rw-r--r-- 284 CondorcetSemi.in
- - rw-r--r-- 132 CondorcetSymm.in
- - rw-r--r-- 172 CondorcetSymm.pnm
- - rw-r--r-- 131 CondorcetSymmSemi.in
- - rw-r--r-- 331 Condorcet_one.in
- - rw-r--r-- 179 FortuneCookie.in
- - rw-r--r-- 55 InhomCong.in
- - rw-r--r-- 51 InhomCongLat.in
- - rw-r--r-- 69 InhomCongSigns.in
- - rw-r--r-- 81 InhomIneq.in
- - rw-r--r-- 91 InhomIneqIH.in
- - rw-r--r-- 80 InhomIneq_7.in
- - rw-r--r-- 108 InhomIneq_7_8.in
- - rw-r--r-- 71 InhomIneq_gen.in
- - rw-r--r-- 152 IntClMonId.in
- - rw-r--r-- 171 IntClMonIdSupp.in
- - rw-r--r-- 100 MonIdeal.in
- - rw-r--r-- 105 NonCMDiv.in
- - rw-r--r-- 39 NumSemi.in
- - rw-r--r-- 330 PluralityVsCutoff.in
- - rw-r--r-- 332 PluralityVsCutoffSemi.in
- - rw-r--r-- 160 PluralityVsCutoffSymm.in
- - rw-r--r-- 185 PluralityVsCutoffSymm.pnm
- - rw-r--r-- 163 PluralityVsCutoffSymmSemi.in
- - rw-r--r-- 63 SquareMinusVertex.in
- - rw-r--r-- 98 SquareMinusVertexInhom.in
- - rw-r--r-- 97 SquareMinusVertexPolyh.in
- - rw-r--r-- 103 SquareMinusVertexStrict.in
- - rw-r--r-- 483 big.in
- - rw-r--r-- 7,227 bo5.in
- - rw-r--r-- 67 cross2.in
- - rw-r--r-- 114,712 cut_poly_7.in
- - rw-r--r-- 72 dehomogenization.in
- - rw-r--r-- 51 gen_inhom_nonpointed.in
- - rw-r--r-- 31 halfspace2.in
- - rw-r--r-- 356 hickerson-18.in
- - rw-r--r-- 1,280 huge.in
- - rw-r--r-- 190 j46.pnm
- - rw-r--r-- 141 j462.in
- - rw-r--r-- 79 lattice_ideal.in
- - rw-r--r-- 21,628 lo6.in
- - rw-r--r-- 284 max_polytope_cand.in
- - rw-r--r-- 1,394 medium.in
- - rw-r--r-- 151 normface.in
- - rw-r--r-- 98 poly_hom_const.in
- - rw-r--r-- 84 poly_ineq.in
- - rw-r--r-- 48 polytope.in
- - rw-r--r-- 110 polytope_deg1.in
- - rw-r--r-- 1,510 rafa2416.in
- - rw-r--r-- 76 rational.in
- - rw-r--r-- 28 rational.pnm
- - rw-r--r-- 88 rationalIH.in
- - rw-r--r-- 149 rees.in
- - rw-r--r-- 5,302 semigraphoid5.in
- - rw-r--r-- 2,412 small.in
- - rw-r--r-- 33 strict_sign.in
- - rw-r--r-- 84 subspace4.in