package info (click to toggle)
normaliz 3.11.1%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 41,376 kB
  • sloc: cpp: 48,779; makefile: 2,266; sh: 1

Folder: test-

d .. (parent)
- - rw-r--r-- 83 23.in
- - rw-r--r-- 1,050 23.ref
- - rw-r--r-- 240 3x3_sign.in
- - rw-r--r-- 1,380 3x3_sign.ref
- - rw-r--r-- 211 3x3_sign2.in
- - rw-r--r-- 1,458 3x3_sign2.ref
- - rw-r--r-- 232 3x3_signEqu.in
- - rw-r--r-- 707 3x3_signEqu.ref
- - rw-r--r-- 235 3x3magicLattPoints.in
- - rw-r--r-- 820 3x3magicLattPoints.ref
- - rw-r--r-- 236 3x3magicNGD.in
- - rw-r--r-- 1,529 3x3magicNGD.ref
- - rw-r--r-- 327 3x3magiceven.in
- - rw-r--r-- 1,575 3x3magiceven.ref
- - rw-r--r-- 338 3x3magicevenCong.in
- - rw-r--r-- 762 3x3magicevenCong.ref
- - rw-r--r-- 512 4x4.in
- - rw-r--r-- 3,754 4x4.ref
- - rw-r--r-- 730 4x4gen.in
- - rw-r--r-- 3,833 4x4gen.ref
- - rw-r--r-- 1,888 ChF_8_1024.in
- - rw-r--r-- 31,212 ChF_8_1024.ref
- - rw-r--r-- 1,894 ChF_8_1024Nr.in
- - rw-r--r-- 2,257 ChF_8_1024Nr.ref
- - rw-r--r-- 1,877 ChF_8_1024P.in
- - rw-r--r-- 31,212 ChF_8_1024P.ref
- - rw-r--r-- 43 ChineseRemainder.in
- - rw-r--r-- 756 ChineseRemainder.ref
- - rw-r--r-- 374 CondParSymmSemi.in
- - rw-r--r-- 2,674 CondParSymmSemi.ref
- - rw-r--r-- 40 Fact_wrt_dual_error.in
- - rw-r--r-- 785 Fact_wrt_dual_error.ref
- - rw-r--r-- 1,880 Frol_high_6_1024Null5_6.in
- - rw-r--r-- 148,277 Frol_high_6_1024Null5_6.ref
- - rw-r--r-- 93 Hilb_latt_neeg.in
- - rw-r--r-- 1,238 Hilb_latt_neeg.ref
- - rw-r--r-- 86 InhomCong.in
- - rw-r--r-- 861 InhomCong.ref
- - rw-r--r-- 114 InhomIneqSymb.in
- - rw-r--r-- 963 InhomIneqSymb.ref
- - rw-r--r-- 135 InhomIneq_prec.in
- - rw-r--r-- 963 InhomIneq_prec.ref
- - rw-r--r-- 172 IsEmpty.in
- - rw-r--r-- 607 IsEmpty.ref
- - rw-r--r-- 172 IsNonEmpty.in
- - rw-r--r-- 548 IsNonEmpty.ref
- - rw-r--r-- 295 Kwak10Codim.in
- - rw-r--r-- 715 Kwak10Codim.ref
- - rw-r--r-- 1,795 NGD.in
- - rw-r--r-- 3,314 NGD.ref
- - rw-r--r-- 93 NonCMDiv.in
- - rw-r--r-- 1,025 NonCMDiv.ref
- - rw-r--r-- 125 NrTest.in
- - rw-r--r-- 611 NrTest.ref
- - rw-r--r-- 65 NumSemi.in
- - rw-r--r-- 882 NumSemi.ref
- - rw-r--r-- 89 SquareMinusVertexPolyh.in
- - rw-r--r-- 1,078 SquareMinusVertexPolyh.ref
- - rw-r--r-- 223 Thierry.in
- - rw-r--r-- 63,353 Thierry.ref
- - rw-r--r-- 188 ThierryApproximate.in
- - rw-r--r-- 63,163 ThierryApproximate.ref
- - rw-r--r-- 218 ThierryNoProjection.in
- - rw-r--r-- 63,224 ThierryNoProjection.ref
- - rw-r--r-- 199 ThierryPF.in
- - rw-r--r-- 63,163 ThierryPF.ref
- - rw-r--r-- 43 add_grad.in
- - rw-r--r-- 284 add_grad.ref
- - rw-r--r-- 86 affinedim.in
- - rw-r--r-- 573 affinedim.ref
- - rw-r--r-- 109 big_empty_deg1.in
- - rw-r--r-- 755 big_empty_deg1.ref
- - rw-r--r-- 50 binom.in
- - rw-r--r-- 861 binom.ref
- - rw-r--r-- 844 crash.in
- - rw-r--r-- 2,409 crash.ref
- - rw-r--r-- 1,052 crash2.in
- - rw-r--r-- 6,343 crash2.ref
- - rw-r--r-- 58 cross2.in
- - rw-r--r-- 1,061 cross2.ref
- - rw-r--r-- 314 cube-10.in
- - rw-r--r-- 313 cube-10.ref
- - rw-r--r-- 334 cube-10codim.in
- - rw-r--r-- 294 cube-10codim.ref
- - rw-r--r-- 291 cube-8-inhom.in
- - rw-r--r-- 412 cube-8-inhom.ref
- - rw-r--r-- 328 cube-8.in
- - rw-r--r-- 271 cube-8.ref
- - rw-r--r-- 326 cut.in
- - rw-r--r-- 64,026 cut.ref
- - rw-r--r-- 61 dehomogenization.in
- - rw-r--r-- 708 dehomogenization.ref
- - rw-r--r-- 37 diagonal.in
- - rw-r--r-- 520 diagonal.ref
- - rw-r--r-- 46 direct_overflow.in
- - rw-r--r-- 1,084 direct_overflow.ref
- - rw-r--r-- 54 direct_overflow_dual.in
- - rw-r--r-- 1,011 direct_overflow_dual.ref
- - rw-r--r-- 498 dual.in
- - rw-r--r-- 1,730 dual.ref
- - rw-r--r-- 55 dual_no_witness.in
- - rw-r--r-- 643 dual_no_witness.ref
- - rw-r--r-- 30 dual_not_full_dim.in
- - rw-r--r-- 912 dual_not_full_dim.ref
- - rw-r--r-- 63 dual_witness.in
- - rw-r--r-- 689 dual_witness.ref
- - rw-r--r-- 41 dupl_remove.in
- - rw-r--r-- 940 dupl_remove.ref
- - rw-r--r-- 49 empty_polyhedron.in
- - rw-r--r-- 730 empty_polyhedron.ref
- - rw-r--r-- 47 empty_polyhedron2.in
- - rw-r--r-- 1,018 empty_polyhedron2.ref
- - rw-r--r-- 47 empty_test.in
- - rw-r--r-- 986 empty_test.ref
- - rw-r--r-- 71 euclid.in
- - rw-r--r-- 1,006 euclid.ref
- - rw-r--r-- 58 excl.in
- - rw-r--r-- 963 excl.ref
- - rw-r--r-- 84 excl_nonp.in
- - rw-r--r-- 1,128 excl_nonp.ref
- - rw-r--r-- 65 excl_unb.in
- - rw-r--r-- 1,128 excl_unb.ref
- - rw-r--r-- 36 fullspace.in
- - rw-r--r-- 986 fullspace.ref
- - rw-r--r-- 34 fullspacehyp.in
- - rw-r--r-- 912 fullspacehyp.ref
- - rw-r--r-- 81 gen_inhom_nonpointed.in
- - rw-r--r-- 785 gen_inhom_nonpointed.ref
- - rw-r--r-- 45 gen_nonpointed.in
- - rw-r--r-- 1,010 gen_nonpointed.ref
- - rw-r--r-- 43 halfspace2.in
- - rw-r--r-- 935 halfspace2.ref
- - rw-r--r-- 98 halfspace3inhom.in
- - rw-r--r-- 1,112 halfspace3inhom.ref
- - rw-r--r-- 254 hbrc_3.in
- - rw-r--r-- 1,251 hbrc_3.ref
- - rw-r--r-- 326 hickerson-16.in
- - rw-r--r-- 157,000 hickerson-16.ref
- - rw-r--r-- 311 hickerson-16plus1.in
- - rw-r--r-- 922,797 hickerson-16plus1.ref
- - rw-r--r-- 185 hyper_crit.in
- - rw-r--r-- 1,422 hyper_crit.ref
- - rw-r--r-- 55 inhom_eq.in
- - rw-r--r-- 1,189 inhom_eq.ref
- - rw-r--r-- 134 inhom_quasi.in
- - rw-r--r-- 1,301 inhom_quasi.ref
- - rw-r--r-- 66 inhom_triangle.in
- - rw-r--r-- 929 inhom_triangle.ref
- - rw-r--r-- 25 intcl1.in
- - rw-r--r-- 927 intcl1.ref
- - rw-r--r-- 89 isIC.in
- - rw-r--r-- 798 isIC.ref
- - rw-r--r-- 53 ispointed.in
- - rw-r--r-- 325 ispointed.ref
- - rw-r--r-- 266 jonagold.in
- - rw-r--r-- 1,184 jonagold.ref
- - rw-r--r-- 206 knapsack_11_60_test2.in
- - rw-r--r-- 2,135 knapsack_11_60_test2.ref
- - rw-r--r-- 51 latt_cong.in
- - rw-r--r-- 973 latt_cong.ref
- - rw-r--r-- 54 latt_id_nonpointed.in
- - rw-r--r-- 889 latt_id_nonpointed.ref
- - rw-r--r-- 75 latt_ineq.in
- - rw-r--r-- 909 latt_ineq.ref
- - rw-r--r-- 68 lattice_ideal.in
- - rw-r--r-- 870 lattice_ideal.ref
- - rw-r--r-- 361 lorenz.in
- - rw-r--r-- 691 lorenz.ref
- - rw-r--r-- 615 lowrank.in
- - rw-r--r-- 4,549 lowrank.ref
- - rw-r--r-- 651 lowrankPF.in
- - rw-r--r-- 3,869 lowrankPF.ref
- - rw-r--r-- 812 m10.in
- - rw-r--r-- 230 m10.ref
- - rw-r--r-- 1,380 medium.in
- - rw-r--r-- 149,075 medium.ref
- - rw-r--r-- 63 mixed-1.in
- - rw-r--r-- 957 mixed-1.ref
- - rw-r--r-- 83 mixed-2.in
- - rw-r--r-- 884 mixed-2.ref
- - rw-r--r-- 61 mixed-3.in
- - rw-r--r-- 957 mixed-3.ref
- - rw-r--r-- 53 mixed-3_off.in
- - rw-r--r-- 751 mixed-3_off.ref
- - rw-r--r-- 61 mixed-4.in
- - rw-r--r-- 957 mixed-4.ref
- - rw-r--r-- 99 mixed-5.in
- - rw-r--r-- 978 mixed-5.ref
- - rw-r--r-- 50 mixed_ld.in
- - rw-r--r-- 933 mixed_ld.ref
- - rw-r--r-- 172 mixpix.in
- - rw-r--r-- 1,066 mixpix.ref
- - rw-r--r-- 110 mode456.in
- - rw-r--r-- 1,355 mode456.ref
- - rw-r--r-- 117 mode456_constraints.in
- - rw-r--r-- 1,355 mode456_constraints.ref
- - rw-r--r-- 176 moxpox.in
- - rw-r--r-- 1,066 moxpox.ref
- - rw-r--r-- 66,584 n8_feas_all.in
- - rw-r--r-- 579,068 n8_feas_all.ref
- - rw-r--r-- 66,595 n8_feas_all_nop.in
- - rw-r--r-- 579,068 n8_feas_all_nop.ref
- - rw-r--r-- 66,625 n8_feas_single.in
- - rw-r--r-- 658 n8_feas_single.ref
- - rw-r--r-- 66,636 n8_feas_single_nop.in
- - rw-r--r-- 658 n8_feas_single_nop.ref
- - rw-r--r-- 7,124 n_6_feas.in
- - rw-r--r-- 21,137 n_6_feas.ref
- - rw-r--r-- 7,124 n_6_infeas.in
- - rw-r--r-- 12,919 n_6_infeas.ref
- - rw-r--r-- 44 no_pos.in
- - rw-r--r-- 962 no_pos.ref
- - rw-r--r-- 46 no_witness.in
- - rw-r--r-- 216 no_witness.ref
- - rw-r--r-- 151 normface.in
- - rw-r--r-- 1,097 normface.ref
- - rw-r--r-- 46 notpointed.in
- - rw-r--r-- 1,046 notpointed.ref
- - rw-r--r-- 318 overflow-1.in
- - rw-r--r-- 2,556 overflow-1.ref
- - rw-r--r-- 312 overflow.in
- - rw-r--r-- 2,556 overflow.ref
- - rw-r--r-- 3,389 parallel_24.in
- - rw-r--r-- 365 parallel_24.ref
- - rw-r--r-- 4,356 pet.in
- - rw-r--r-- 632,892 pet.ref
- - rw-r--r-- 104 polyhedron.in
- - rw-r--r-- 1,137 polyhedron.ref
- - rw-r--r-- 37 polytop.in
- - rw-r--r-- 1,173 polytop.ref
- - rw-r--r-- 271 rafa1409.in
- - rw-r--r-- 1,697 rafa1409.ref
- - rw-r--r-- 483 rafa2310.in
- - rw-r--r-- 2,424 rafa2310.ref
- - rw-r--r-- 1,490 rafa2416.in
- - rw-r--r-- 27,404 rafa2416.ref
- - rw-r--r-- 74 rational_inhom.in
- - rw-r--r-- 1,140 rational_inhom.ref
- - rw-r--r-- 108 rational_inhom_H.in
- - rw-r--r-- 777 rational_inhom_H.ref
- - rw-r--r-- 104 rational_inhom_HE.in
- - rw-r--r-- 1,392 rational_inhom_HE.ref
- - rw-r--r-- 135 rational_inhom_full.in
- - rw-r--r-- 1,542 rational_inhom_full.ref
- - rw-r--r-- 114 rational_inhom_hedron.in
- - rw-r--r-- 1,215 rational_inhom_hedron.ref
- - rw-r--r-- 114 ratlat_1.in
- - rw-r--r-- 1,123 ratlat_1.ref
- - rw-r--r-- 94 ratlat_2.in
- - rw-r--r-- 1,124 ratlat_2.ref
- - rw-r--r-- 80 ratlat_3.in
- - rw-r--r-- 877 ratlat_3.ref
- - rw-r--r-- 149 rec_rank_pre.in
- - rw-r--r-- 745 rec_rank_pre.ref
- - rw-r--r-- 90 recrank.in
- - rw-r--r-- 573 recrank.ref
- - rw-r--r-- 138 rees.in
- - rw-r--r-- 2,101 rees.ref
- - rw-r--r-- 164 rees_grading.in
- - rw-r--r-- 2,415 rees_grading.ref
- - rw-r--r-- 37 rees_mini.in
- - rw-r--r-- 1,183 rees_mini.ref
- - rw-r--r-- 35 rees_prim.in
- - rw-r--r-- 891 rees_prim.ref
- - rw-r--r-- 139 rp2poly.in
- - rw-r--r-- 1,844 rp2poly.ref
- - rw-r--r-- 246 rproj2.in
- - rw-r--r-- 1,808 rproj2.ref
- - rw-r--r-- 50 simple_grading.in
- - rw-r--r-- 1,108 simple_grading.ref
- - rw-r--r-- 58 simple_grading2.in
- - rw-r--r-- 1,075 simple_grading2.ref
- - rw-r--r-- 649 small-sh.in
- - rw-r--r-- 627,572 small-sh.ref
- - rw-r--r-- 2,432 small.in
- - rw-r--r-- 627,650 small.ref
- - rw-r--r-- 2,449 smallPF.in
- - rw-r--r-- 627,105 smallPF.ref
- - rw-r--r-- 106 sparse_test.in
- - rw-r--r-- 229 sparse_test.ref
- - rw-r--r-- 395 squaref0.in
- - rw-r--r-- 9,090 squaref0.ref
- - rw-r--r-- 361 squaref1.in
- - rw-r--r-- 6,537 squaref1.ref
- - rw-r--r-- 107 strange.in
- - rw-r--r-- 628 strange.ref
- - rw-r--r-- 76 strict.in
- - rw-r--r-- 1,034 strict.ref
- - rw-r--r-- 67 strip2.in
- - rw-r--r-- 940 strip2.ref
- - rw-r--r-- 84 subspace4.in
- - rw-r--r-- 1,067 subspace4.ref
- - rw-r--r-- 115 subspace4_inhom.in
- - rw-r--r-- 892 subspace4_inhom.ref
- - rw-r--r-- 128 tame_prec.in
- - rw-r--r-- 1,084 tame_prec.ref
- - rw-r--r-- 80 tds.in
- - rw-r--r-- 631 tds.ref
- - rw-r--r-- 3,720 test22dual.in
- - rw-r--r-- 12,076 test22dual.ref
- - rw-r--r-- 52 tight_test.in
- - rw-r--r-- 409 tight_test.ref
- - rw-r--r-- 52 tight_test_5.in
- - rw-r--r-- 430 tight_test_5.ref
- - rw-r--r-- 67 tight_test_5NGD.in
- - rw-r--r-- 411 tight_test_5NGD.ref
- - rw-r--r-- 69 trivial.in
- - rw-r--r-- 527 trivial.ref
- - rw-r--r-- 78 ts.in
- - rw-r--r-- 602 ts.ref
- - rw-r--r-- 29 unit_matrix.in
- - rw-r--r-- 1,035 unit_matrix.ref
- - rw-r--r-- 55 vol_ld.in
- - rw-r--r-- 462 vol_ld.ref
- - rw-r--r-- 54 witness.in
- - rw-r--r-- 408 witness.ref
- - rw-r--r-- 41 zero3.in
- - rw-r--r-- 884 zero3.ref
- - rw-r--r-- 70 zero4.in
- - rw-r--r-- 897 zero4.ref
- - rw-r--r-- 69 zero_polyhedron.in
- - rw-r--r-- 1,018 zero_polyhedron.ref