package info (click to toggle)
normaliz 3.11.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 40,448 kB
  • sloc: cpp: 48,104; makefile: 2,247; sh: 1

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-- 111 2equations.in
- - rw-r--r-- 88 2equations_default.in
- - rw-r--r-- 221 3x3magic.in
- - rw-r--r-- 236 3x3magicNGD.in
- - rw-r--r-- 283 3x3magiceven.in
- - rw-r--r-- 114 3x3magiceven_lat.in
- - rw-r--r-- 117 3x3magiceven_sat.in
- - rw-r--r-- 463 4x4.in
- - rw-r--r-- 887 5x5.in
- - rw-r--r-- 868 5x5Gorenstein.in
- - rw-r--r-- 868 5x5dual.in
- - rw-r--r-- 74,492 600cell-dual.in
- - rw-r--r-- 2,770 600cell.in
- - rw-r--r-- 1,393 6x6.in
- - rw-r--r-- 3,907 A443.in
- - rw-r--r-- 3,897 A443monoid.in
- - rw-r--r-- 5,686 A543.in
- - rw-r--r-- 8,296 A553.in
- - rw-r--r-- 7,856 A643.in
- - rw-r--r-- 13,512 B4.in
- - rw-r--r-- 159 ChF_2_64.in
- - rw-r--r-- 1,882 ChF_8_1024.in
- - rw-r--r-- 54 ChineseRemainder.in
- - rw-r--r-- 533 CondEffPlur.in
- - rw-r--r-- 281 Condorcet.in
- - rw-r--r-- 302 Condorcet.symm.in
- - rw-r--r-- 302 CondorcetExpansion.in
- - rw-r--r-- 308 CondorcetFV.in
- - rw-r--r-- 302 CondorcetInt.in
- - rw-r--r-- 290 CondorcetN.in
- - rw-r--r-- 451 CondorcetRange.in
- - rw-r--r-- 284 CondorcetSemi.in
- - rw-r--r-- 331 Condorcet_one.in
- - rw-r--r-- 167 EH1.in
- - rw-r--r-- 179 FortuneCookie.in
- - rw-r--r-- 42 InList
- - rw-r--r-- 86 InhomCong.in
- - rw-r--r-- 70 InhomCongLat.in
- - rw-r--r-- 69 InhomCongSigns.in
- - rw-r--r-- 88 InhomIneq.in
- - rw-r--r-- 91 InhomIneqIH.in
- - rw-r--r-- 105 InhomIneqInc.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-- 135 InhomIneq_prec.in
- - rw-r--r-- 152 IntClMonId.in
- - rw-r--r-- 171 IntClMonIdSupp.in
- - rw-r--r-- 73 IsEmpty.in
- - rw-r--r-- 87 IsNonEmpty.in
- - rw-r--r-- 1,048 Kwak80.in
- - rw-r--r-- 3,427 Makefile.am
- - rw-r--r-- 100 MonIdeal.in
- - rw-r--r-- 105 NonCMDiv.in
- - rw-r--r-- 65 NumSemi.in
- - rw-r--r-- 330 PluralityVsCutoff.in
- - rw-r--r-- 188 QConstSymb.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-- 57 Stanleydec.in
- - rw-r--r-- 1,051 SubModularConeN4_hom.in
- - rw-r--r-- 9,800 VdM_16_1048576.in
- - rw-r--r-- 65 %5B1%2C1%5D%5B0%2C1%5D.in
- - rw-r--r-- 198,609 baby.in
- - rw-r--r-- 483 big.in
- - rw-r--r-- 7,227 bo5.in
- - rw-r--r-- 76 both_precomputed.in
- - rw-r--r-- 102 bracket_3_cand.in
- - rw-r--r-- 70 bracket_3_part.in
- - rw-r--r-- 100 bracket_4.in
- - rw-r--r-- 101 bracket_4_comm.in
- - rw-r--r-- 101 bracket_4_comm_z2.in
- - rw-r--r-- 118 bracket_4_single.in
- - rw-r--r-- 101 bracket_4_z2.in
- - rw-r--r-- 1,569 buckyball-v.in
- - rw-r--r-- 100 chosen_2.in
- - rw-r--r-- 93 cone_latt_markov.in
- - rw-r--r-- 92 cross2.in
- - rw-r--r-- 125 cube_3.in
- - rw-r--r-- 150 cube_3_dual_fac.in
- - rw-r--r-- 114,712 cut_poly_7.in
- - rw-r--r-- 72 dehomogenization.in
- - rw-r--r-- 666 dodecahedron-v.in
- - rw-r--r-- 71 euclid.in
- - rw-r--r-- 117 find_mod_grad.in
- - rw-r--r-- 51 gen_inhom_nonpointed.in
- - rw-r--r-- 2,332 grandantiprism.in
- - rw-r--r-- 1,293 great_rhombicuboctahedron-v.in
- - rw-r--r-- 31 halfspace2.in
- - rw-r--r-- 77 halfspace3inhom-input.in
- - rw-r--r-- 299 hickerson-16.in
- - rw-r--r-- 356 hickerson-18.in
- - rw-r--r-- 490 hickerson-18plus1.in
- - rw-r--r-- 1,280 huge.in
- - rw-r--r-- 164 hyper_crit.in
- - rw-r--r-- 1,669 icosahedron-h.in
- - rw-r--r-- 324 icosahedron-v.in
- - rw-r--r-- 2,440 icosahedron_prec.in
- - rw-r--r-- 352 j462.in
- - rw-r--r-- 135 knapsack_11_60.in
- - rw-r--r-- 31 lin_bin.in
- - rw-r--r-- 21,626 lo6.in
- - rw-r--r-- 272 max_polytope_cand.in
- - rw-r--r-- 1,394 medium.in
- - rw-r--r-- 289 midi_ind.in
- - rw-r--r-- 202 mini_ind.in
- - rw-r--r-- 137 mod_grad.in
- - rw-r--r-- 252 monoid.in
- - rw-r--r-- 63 monoid_auto.in
- - rw-r--r-- 93 monoid_weight.in
- - rw-r--r-- 84 no_open_facet.in
- - rw-r--r-- 93 non_toric.in
- - rw-r--r-- 85 normal_toric_ideal.in
- - rw-r--r-- 151 normface.in
- - rw-r--r-- 101 open_facet.in
- - rw-r--r-- 318 overflow.in
- - rw-r--r-- 60 pedro2.in
- - rw-r--r-- 83 pentagon.in
- - rw-r--r-- 39,988 perm7_d2_dual.in
- - rw-r--r-- 43,378 pet.in
- - rw-r--r-- 82 pet_new.in
- - rw-r--r-- 701,363 poly_equ.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-- 74 pythagoras.in
- - rw-r--r-- 65 pythagoras_int.in
- - rw-r--r-- 73 pythagoras_rat.in
- - rw-r--r-- 1,510 rafa2416.in
- - rw-r--r-- 64 rational.in
- - rw-r--r-- 86 rationalFL.in
- - rw-r--r-- 88 rationalIH.in
- - rw-r--r-- 74 rational_inhom.in
- - rw-r--r-- 114 ratlat_2.in
- - rw-r--r-- 149 rees.in
- - rw-r--r-- 101 representations.in
- - rw-r--r-- 5,302 semigraphoid5.in
- - rw-r--r-- 2,436 small.in
- - rw-r--r-- 694,331 small_inhom_hbrc.in
- - rw-r--r-- 2,462 small_proj.in
- - rw-r--r-- 2,464 small_proj_inhom.in
- - rw-r--r-- 513 small_rhombicuboctahedron-v.in
- - rw-r--r-- 686 small_sh_proj.in
- - rw-r--r-- 689 small_sh_proj_inhom.in
- - rw-r--r-- 7,424 split_demo.zip
- - rw-r--r-- 191 square2.in
- - rw-r--r-- 840 strictBorda.in
- - rw-r--r-- 854 strictBorda_fixed_prec.in
- - rw-r--r-- 33 strict_sign.in
- - rw-r--r-- 84 subspace4.in
- - rw-r--r-- 72 tame.in
- - rw-r--r-- 128 tame_prec.in
- - rw-r--r-- 97 toric_ideal.in
- - rw-r--r-- 131 toric_ideal_grb.in
- - rw-r--r-- 2,165 truncateddodecahedron.in