package info
(click to toggle)
Folder: examples
| .. (parent) | ||||
| - | rw-r--r-- | 28 | .gitignore | |
| - | rw-r--r-- | 777 | 0dim_primary-decomp.py | |
| - | rw-r--r-- | 699 | 0dim_primary-decomp.rb | |
| - | rw-r--r-- | 774 | 0dim_prime-decomp.py | |
| - | rw-r--r-- | 703 | 0dim_prime-decomp.rb | |
| - | rw-r--r-- | 776 | 0dim_radical.py | |
| - | rw-r--r-- | 704 | 0dim_radical.rb | |
| - | rw-r--r-- | 811 | 0dim_real_roots.py | |
| - | rw-r--r-- | 744 | 0dim_real_roots.rb | |
| - | rw-r--r-- | 1,865 | ChineseRemainder.py | |
| - | rw-r--r-- | 1,740 | ChineseRemainder.rb | |
| - | rw-r--r-- | 2,413 | RingElemTest.py | |
| - | rw-r--r-- | 3,963 | algNum.py | |
| - | rw-r--r-- | 3,735 | algNum.rb | |
| - | rw-r--r-- | 1,093 | alg_stat_1.py | |
| - | rw-r--r-- | 1,170 | alg_stat_1.rb | |
| - | rw-r--r-- | 1,316 | alg_stat_1p.py | |
| - | rw-r--r-- | 1,394 | alg_stat_1p.rb | |
| - | rw-r--r-- | 690 | alg_surface.py | |
| - | rw-r--r-- | 533 | alg_surface.rb | |
| - | rw-r--r-- | 25,983 | all_rings.py | |
| - | rw-r--r-- | 25,707 | all_rings.rb | |
| - | rw-r--r-- | 1,589 | arith.py | |
| - | rw-r--r-- | 1,504 | arith.rb | |
| - | rw-r--r-- | 1,025 | armbruster.py | |
| - | rw-r--r-- | 1,034 | armbruster.rb | |
| - | rw-r--r-- | 1,382 | ascm_demo.py | |
| - | rw-r--r-- | 1,290 | ascm_demo.rb | |
| - | rw-r--r-- | 1,134 | atan.py | |
| - | rw-r--r-- | 909 | atan.rb | |
| - | rw-r--r-- | 15,067 | basic_sigbased_gb.py | |
| - | rw-r--r-- | 1,110 | boolean_cgb.py | |
| - | rw-r--r-- | 1,056 | boolean_cgb.rb | |
| - | rw-r--r-- | 1,030 | boolean_gb.py | |
| - | rw-r--r-- | 979 | boolean_gb.rb | |
| - | rw-r--r-- | 1,103 | bueso_quantum.py | |
| - | rw-r--r-- | 1,116 | bueso_quantum.rb | |
| - | rw-r--r-- | 1,007 | cgb_0.py | |
| - | rw-r--r-- | 824 | cgb_0.rb | |
| - | rw-r--r-- | 1,120 | cgb_2.py | |
| - | rw-r--r-- | 940 | cgb_2.rb | |
| - | rw-r--r-- | 1,187 | cgb_3.py | |
| - | rw-r--r-- | 993 | cgb_3.rb | |
| - | rw-r--r-- | 1,124 | cgb_4.py | |
| - | rw-r--r-- | 868 | cgb_4.rb | |
| - | rw-r--r-- | 1,470 | cgbmmn15.py | |
| - | rw-r--r-- | 1,316 | cgbmmn15.rb | |
| - | rw-r--r-- | 980 | charset.py | |
| - | rw-r--r-- | 942 | charset.rb | |
| - | rw-r--r-- | 568 | chebyshev.py | |
| - | rw-r--r-- | 507 | chebyshev.rb | |
| - | rw-r--r-- | 1,065 | contFrac.py | |
| - | rw-r--r-- | 923 | contFrac.rb | |
| - | rw-r--r-- | 2,628 | cyclic.py | |
| - | rw-r--r-- | 1,041 | cyclic.rb | |
| - | rw-r--r-- | 365 | cyclic5.jas | |
| - | rw-r--r-- | 1,073 | cyclic5_complex_roots.py | |
| - | rw-r--r-- | 962 | cyclic5_complex_roots.rb | |
| - | rw-r--r-- | 1,009 | cyclic5_real_roots.py | |
| - | rw-r--r-- | 907 | cyclic5_real_roots.rb | |
| - | rw-r--r-- | 499 | cyclic6.jas | |
| - | rw-r--r-- | 1,460 | cyclic6_opt.py | |
| - | rw-r--r-- | 962 | cyclic7.jas | |
| - | rw-r--r-- | 1,365 | cyclic8.jas | |
| - | rw-r--r-- | 1,883 | cyclic9.jas | |
| - | rw-r--r-- | 812 | e-gb.py | |
| - | rw-r--r-- | 769 | e-gb.rb | |
| - | rw-r--r-- | 738 | eliminate.py | |
| - | rw-r--r-- | 622 | eliminate.rb | |
| - | rw-r--r-- | 2,902 | exterior.py | |
| - | rw-r--r-- | 2,914 | exterior.rb | |
| - | rw-r--r-- | 3,271 | exteriorPlanes.py | |
| - | rw-r--r-- | 3,215 | exteriorPlanes.rb | |
| - | rw-r--r-- | 2,330 | factors.py | |
| - | rw-r--r-- | 2,413 | factors.rb | |
| - | rw-r--r-- | 2,000 | factors_abs.py | |
| - | rw-r--r-- | 1,938 | factors_abs.rb | |
| - | rw-r--r-- | 1,737 | factors_abs_complex.py | |
| - | rw-r--r-- | 1,544 | factors_abs_complex.rb | |
| - | rw-r--r-- | 657 | factors_abs_mult.py | |
| - | rw-r--r-- | 592 | factors_abs_mult.rb | |
| - | rw-r--r-- | 3,012 | factors_algeb.py | |
| - | rw-r--r-- | 2,837 | factors_algeb.rb | |
| - | rw-r--r-- | 1,669 | factors_algeb_2.py | |
| - | rw-r--r-- | 1,510 | factors_algeb_2.rb | |
| - | rw-r--r-- | 2,892 | factors_algeb_trans.py | |
| - | rw-r--r-- | 2,479 | factors_algeb_trans.rb | |
| - | rw-r--r-- | 2,676 | factors_algeb_trans_algeb_charp.py | |
| - | rw-r--r-- | 1,453 | factors_algeb_trans_build.py | |
| - | rw-r--r-- | 1,380 | factors_algeb_trans_build.rb | |
| - | rw-r--r-- | 2,224 | factors_algeb_trans_charp.py | |
| - | rw-r--r-- | 2,372 | factors_algebp_trans_charp.py | |
| - | rw-r--r-- | 1,084 | factors_compl.py | |
| - | rw-r--r-- | 2,373 | factors_compl_algeb.py | |
| - | rw-r--r-- | 2,281 | factors_me.py | |
| - | rw-r--r-- | 2,153 | factors_mod.py | |
| - | rw-r--r-- | 2,267 | factors_mod.rb | |
| - | rw-r--r-- | 842 | factors_mod_abs.py | |
| - | rw-r--r-- | 812 | factors_mod_abs.rb | |
| - | rw-r--r-- | 1,654 | factors_mod_ins.py | |
| - | rw-r--r-- | 1,352 | factors_mod_ins.rb | |
| - | rw-r--r-- | 1,580 | factors_mult.py | |
| - | rw-r--r-- | 1,535 | factors_mult.rb | |
| - | rw-r--r-- | 1,471 | factors_poly.py | |
| - | rw-r--r-- | 1,606 | factors_poly.rb | |
| - | rw-r--r-- | 2,091 | factors_rat.py | |
| - | rw-r--r-- | 2,144 | factors_rat.rb | |
| - | rw-r--r-- | 1,624 | finitefield.py | |
| - | rw-r--r-- | 1,772 | finitefield.rb | |
| - | rw-r--r-- | 2,844 | freealg-C_417_X.py | |
| - | rw-r--r-- | 2,753 | freealg-C_417_X.rb | |
| - | rw-r--r-- | 951 | gbisc97.rb | |
| - | rw-r--r-- | 1,625 | gbks.jas | |
| - | rw-r--r-- | 1,353 | gbs.py | |
| - | rw-r--r-- | 1,305 | gbs.rb | |
| - | rw-r--r-- | 1,023 | gcd.py | |
| - | rw-r--r-- | 1,049 | gcd.rb | |
| - | rw-r--r-- | 502 | gens_define.rb | |
| - | rw-r--r-- | 585 | getstart-factor.py | |
| - | rw-r--r-- | 454 | getstart-factor.rb | |
| - | rw-r--r-- | 617 | getstart-gb.py | |
| - | rw-r--r-- | 659 | getstart-gb.rb | |
| - | rw-r--r-- | 585 | getstart.py | |
| - | rw-r--r-- | 557 | getstart.rb | |
| - | rw-r--r-- | 1,109 | hawes2.py | |
| - | rw-r--r-- | 1,071 | hawes2.rb | |
| - | rw-r--r-- | 1,457 | hawes2_c.py | |
| - | rw-r--r-- | 1,288 | hawes2_gens.py | |
| - | rw-r--r-- | 1,250 | hawes2_gens.rb | |
| - | rw-r--r-- | 1,296 | hawes2_gens_quot.py | |
| - | rw-r--r-- | 1,478 | hawes2_int.py | |
| - | rw-r--r-- | 1,404 | hawes2mod.py | |
| - | rw-r--r-- | 1,116 | hawes2modpars.py | |
| - | rw-r--r-- | 1,145 | hawes2modpars.rb | |
| - | rw-r--r-- | 1,240 | hawes2opt.py | |
| - | rw-r--r-- | 560 | hermite.py | |
| - | rw-r--r-- | 478 | hermite.rb | |
| - | rw-r--r-- | 38 | ideal_one.jas | |
| - | rw-r--r-- | 38 | ideal_zero.jas | |
| - | rw-r--r-- | 794 | igcd.py | |
| - | rw-r--r-- | 781 | igcd.rb | |
| - | rw-r--r-- | 1,080 | integrate.py | |
| - | rw-r--r-- | 885 | integrate.rb | |
| - | rw-r--r-- | 1,163 | integro-differential-tab1.rb | |
| - | rw-r--r-- | 684 | intersect.py | |
| - | rw-r--r-- | 635 | intersect.rb | |
| - | rw-r--r-- | 609 | intprog.py | |
| - | rw-r--r-- | 605 | intprog.rb | |
| - | rw-r--r-- | 663 | intprog2.py | |
| - | rw-r--r-- | 822 | intprog3.py | |
| - | rw-r--r-- | 1,067 | intprog4.py | |
| - | rw-r--r-- | 1,067 | intprog4a.py | |
| - | rw-r--r-- | 2,372 | jas.groovy | |
| - | rw-r--r-- | 162,593 | jas.py | |
| - | rw-r--r-- | 170,431 | jas.rb | |
| - | rw-r--r-- | 514 | katsura.py | |
| - | rw-r--r-- | 989 | katsura.rb | |
| - | rw-r--r-- | 3,131 | katsura10m.jas | |
| - | rw-r--r-- | 3,524 | katsura11m.jas | |
| - | rw-r--r-- | 3,955 | katsura12m.jas | |
| - | rw-r--r-- | 4,425 | katsura13m.jas | |
| - | rw-r--r-- | 4,931 | katsura14m.jas | |
| - | rw-r--r-- | 163 | katsura2.jas | |
| - | rw-r--r-- | 265 | katsura3.jas | |
| - | rw-r--r-- | 399 | katsura4.jas | |
| - | rw-r--r-- | 564 | katsura5.jas | |
| - | rw-r--r-- | 568 | katsura5s.jas | |
| - | rw-r--r-- | 577 | katsura5w.jas | |
| - | rw-r--r-- | 760 | katsura6.jas | |
| - | rw-r--r-- | 776 | katsura6w.jas | |
| - | rw-r--r-- | 987 | katsura7.jas | |
| - | rw-r--r-- | 989 | katsura7i.jas | |
| - | rw-r--r-- | 20,262 | katsura7m.jas | |
| - | rw-r--r-- | 1,245 | katsura8.jas | |
| - | rw-r--r-- | 2,474 | katsura8m.jas | |
| - | rw-r--r-- | 2,762 | katsura9m.jas | |
| - | rw-r--r-- | 1,587 | katsura_opt.py | |
| - | rw-r--r-- | 188 | kw_18.jas | |
| - | rw-r--r-- | 829 | legendre.py | |
| - | rw-r--r-- | 537 | legendre.rb | |
| - | rw-r--r-- | 1,640 | lewis.py | |
| - | rw-r--r-- | 1,830 | lie_field.rb | |
| - | rw-r--r-- | 1,596 | linalg.py | |
| - | rw-r--r-- | 1,410 | linalg.rb | |
| - | rw-r--r-- | 527 | logic.py | |
| - | rw-r--r-- | 522 | logic.rb | |
| - | rw-r--r-- | 268 | machines.localhost | |
| - | rw-r--r-- | 266 | machines.test | |
| - | rw-r--r-- | 614 | mark.py | |
| - | rw-r--r-- | 640 | mark.rb | |
| - | rw-r--r-- | 1,316 | mark_kr.py | |
| - | rw-r--r-- | 1,252 | mark_kr.rb | |
| - | rw-r--r-- | 14,639 | mkplot.py | |
| - | rw-r--r-- | 3,527 | mkplotold.py | |
| - | rw-r--r-- | 2,880 | mkplotold2.py | |
| - | rw-r--r-- | 637 | mmt.rb | |
| - | rw-r--r-- | 505 | module.py | |
| - | rw-r--r-- | 588 | module.rb | |
| - | rw-r--r-- | 1,182 | montes_ex111.py | |
| - | rw-r--r-- | 1,109 | montes_ex111.rb | |
| - | rw-r--r-- | 1,510 | montes_ex112.py | |
| - | rw-r--r-- | 1,458 | montes_ex112.rb | |
| - | rw-r--r-- | 1,237 | montes_ex113.py | |
| - | rw-r--r-- | 1,163 | montes_ex113.rb | |
| - | rw-r--r-- | 1,590 | montes_ex114.py | |
| - | rw-r--r-- | 1,540 | montes_ex114.rb | |
| - | rw-r--r-- | 1,193 | montes_ex51.py | |
| - | rw-r--r-- | 1,122 | montes_ex51.rb | |
| - | rw-r--r-- | 1,362 | montes_ex51s.py | |
| - | rw-r--r-- | 1,346 | montes_ex51s.rb | |
| - | rw-r--r-- | 776 | nabeshima_cgbF0.py | |
| - | rw-r--r-- | 702 | nabeshima_cgbF0.rb | |
| - | rw-r--r-- | 744 | nabeshima_cgbF00.py | |
| - | rw-r--r-- | 670 | nabeshima_cgbF00.rb | |
| - | rw-r--r-- | 754 | nabeshima_cgbF01.py | |
| - | rw-r--r-- | 680 | nabeshima_cgbF01.rb | |
| - | rw-r--r-- | 843 | nabeshima_cgbF1.py | |
| - | rw-r--r-- | 769 | nabeshima_cgbF1.rb | |
| - | rw-r--r-- | 853 | nabeshima_cgbF2.py | |
| - | rw-r--r-- | 779 | nabeshima_cgbF2.rb | |
| - | rw-r--r-- | 856 | nabeshima_cgbF3.py | |
| - | rw-r--r-- | 791 | nabeshima_cgbF3.rb | |
| - | rw-r--r-- | 897 | nabeshima_cgbF4.py | |
| - | rw-r--r-- | 832 | nabeshima_cgbF4.rb | |
| - | rw-r--r-- | 868 | nabeshima_cgbF5.py | |
| - | rw-r--r-- | 790 | nabeshima_cgbF5.rb | |
| - | rw-r--r-- | 852 | nabeshima_cgbF6.py | |
| - | rw-r--r-- | 778 | nabeshima_cgbF6.rb | |
| - | rw-r--r-- | 811 | nabeshima_cgbF7.py | |
| - | rw-r--r-- | 737 | nabeshima_cgbF7.rb | |
| - | rw-r--r-- | 1,404 | nabeshima_cgbF8.py | |
| - | rw-r--r-- | 1,357 | nabeshima_cgbF8.rb | |
| - | rw-r--r-- | 536 | ncmat.rb | |
| - | rw-r--r-- | 683 | ncmatj.py | |
| - | rw-r--r-- | 662 | ncmatj.rb | |
| - | rw-r--r-- | 1,076 | optimize.py | |
| - | rw-r--r-- | 1,721 | orderexam.py | |
| - | rw-r--r-- | 1,673 | orderexam.rb | |
| - | rw-r--r-- | 6,012 | ordermon.rb | |
| - | rw-r--r-- | 208 | ore_t.jas | |
| - | rw-r--r-- | 3,303 | perfAnaly.rb | |
| - | rw-r--r-- | 1,090 | polynomial.py | |
| - | rw-r--r-- | 1,011 | polynomial.rb | |
| - | rw-r--r-- | 1,177 | polypower.py | |
| - | rw-r--r-- | 1,536 | polypower.rb | |
| - | rw-r--r-- | 3,734 | powerseries.py | |
| - | rw-r--r-- | 4,077 | powerseries.rb | |
| - | rw-r--r-- | 4,061 | powerseries_multi.py | |
| - | rw-r--r-- | 4,732 | powerseries_multi.rb | |
| - | rw-r--r-- | 666 | pppj2006.py | |
| - | rw-r--r-- | 459 | pppj2006.rb | |
| - | rw-r--r-- | 1,062 | preimage.py | |
| - | rw-r--r-- | 888 | primary-decomp-charp.py | |
| - | rw-r--r-- | 982 | primary-decomp-charp.rb | |
| - | rw-r--r-- | 772 | primary-decomp.py | |
| - | rw-r--r-- | 802 | primary-decomp.rb | |
| - | rw-r--r-- | 1,038 | prime-decomp-charp.py | |
| - | rw-r--r-- | 984 | prime-decomp-charp.rb | |
| - | rw-r--r-- | 1,419 | prime-decomp-h.py | |
| - | rw-r--r-- | 1,402 | prime-decomp-h.rb | |
| - | rw-r--r-- | 766 | prime-decomp.py | |
| - | rw-r--r-- | 706 | prime-decomp.rb | |
| - | rw-r--r-- | 1,056 | prime-decomp_algeb_trans-plain.py | |
| - | rw-r--r-- | 995 | prime-decomp_algeb_trans-plain.rb | |
| - | rw-r--r-- | 2,178 | prime-decomp_algeb_trans.py | |
| - | rw-r--r-- | 2,060 | prime-decomp_algeb_trans.rb | |
| - | rw-r--r-- | 943 | primes.py | |
| - | rw-r--r-- | 885 | primes.rb | |
| - | rw-r--r-- | 1,388 | quantumplane_rgb.py | |
| - | rw-r--r-- | 1,255 | quantumplane_syz.py | |
| - | rw-r--r-- | 778 | radical-decomp.py | |
| - | rw-r--r-- | 740 | radical-decomp.rb | |
| - | rw-r--r-- | 863 | radical-decomp_charp.py | |
| - | rw-r--r-- | 818 | radical-decomp_charp.rb | |
| - | rw-r--r-- | 1,724 | radical-decomp_charp_ex816.py | |
| - | rw-r--r-- | 1,651 | radical-decomp_charp_ex816.rb | |
| - | rw-r--r-- | 2,008 | radical-decomp_charp_ex816_algeb.py | |
| - | rw-r--r-- | 1,885 | radical-decomp_charp_ex816_algeb.rb | |
| - | rw-r--r-- | 1,130 | radical-decomp_charp_infin.py | |
| - | rw-r--r-- | 1,062 | radical-decomp_charp_infin.rb | |
| - | rw-r--r-- | 1,149 | radical-decomp_charp_infin_0dim.py | |
| - | rw-r--r-- | 1,088 | radical-decomp_charp_infin_0dim.rb | |
| - | rw-r--r-- | 697 | raksanyi.py | |
| - | rw-r--r-- | 655 | raksanyi.rb | |
| - | rw-r--r-- | 1,173 | raksanyi_c.py | |
| - | rw-r--r-- | 1,104 | raksanyi_c.rb | |
| - | rw-r--r-- | 1,477 | raksanyi_cr.py | |
| - | rw-r--r-- | 1,393 | raksanyi_cr.rb | |
| - | rw-r--r-- | 688 | raksanyi_int.py | |
| - | rw-r--r-- | 636 | raksanyi_int.rb | |
| - | rw-r--r-- | 971 | real_roots_ideal.py | |
| - | rw-r--r-- | 932 | real_roots_ideal.rb | |
| - | rw-r--r-- | 1,327 | roots_complex.py | |
| - | rw-r--r-- | 1,225 | roots_complex.rb | |
| - | rw-r--r-- | 1,377 | roots_complex_ideal.py | |
| - | rw-r--r-- | 1,337 | roots_complex_ideal.rb | |
| - | rw-r--r-- | 1,352 | roots_rat.py | |
| - | rw-r--r-- | 1,270 | roots_rat.rb | |
| - | rw-r--r-- | 1,354 | roots_real_ideal.py | |
| - | rw-r--r-- | 1,325 | roots_real_ideal.rb | |
| - | rw-r--r-- | 1,184 | roots_real_tower.py | |
| - | rw-r--r-- | 989 | roots_real_tower.rb | |
| - | rw-r--r-- | 2,257 | roots_simplify.py | |
| - | rw-r--r-- | 2,628 | roots_simplify.rb | |
| - | rw-r--r-- | 602 | rose.jas | |
| - | rw-r--r-- | 1,342 | rose.py | |
| - | rw-r--r-- | 1,288 | rose.rb | |
| - | rw-r--r-- | 64,716 | rose_fac.py | |
| - | rw-r--r-- | 64,720 | rose_fac.rb | |
| - | rw-r--r-- | 1,888 | rose_modular.py | |
| - | rw-r--r-- | 2,728 | rose_part.py | |
| - | rw-r--r-- | 423 | sd.ini | |
| - | rw-r--r-- | 878 | sdexam.py | |
| - | rw-r--r-- | 570 | sdexam.rb | |
| - | rw-r--r-- | 17,449 | sdjas.py | |
| - | rw-r--r-- | 19,286 | sdjas.rb | |
| - | rw-r--r-- | 756 | series_poly.rb | |
| - | rw-r--r-- | 124 | sgb.jas | |
| - | rw-r--r-- | 460 | sicora.py | |
| - | rw-r--r-- | 434 | sicora.rb | |
| - | rw-r--r-- | 974 | solv_cgb_0.py | |
| - | rw-r--r-- | 925 | solv_cgb_0.rb | |
| - | rw-r--r-- | 1,128 | solv_cgb_nabeshima_1.py | |
| - | rw-r--r-- | 1,050 | solv_cgb_nabeshima_1.rb | |
| - | rw-r--r-- | 1,081 | solv_cgb_nabeshima_2.py | |
| - | rw-r--r-- | 998 | solv_cgb_nabeshima_2.rb | |
| - | rw-r--r-- | 1,206 | solv_hawes2.py | |
| - | rw-r--r-- | 1,038 | solv_hawes2.rb | |
| - | rw-r--r-- | 3,881 | solv_loca_ore_iter.py | |
| - | rw-r--r-- | 4,384 | solv_loca_ore_iter.rb | |
| - | rw-r--r-- | 3,987 | solv_locres_ore_iter.py | |
| - | rw-r--r-- | 5,317 | solv_locres_ore_iter.rb | |
| - | rw-r--r-- | 2,354 | solv_module_ts.py | |
| - | rw-r--r-- | 2,230 | solv_module_ts.rb | |
| - | rw-r--r-- | 3,108 | solv_ore.py | |
| - | rw-r--r-- | 3,859 | solv_ore.rb | |
| - | rw-r--r-- | 2,102 | solv_ore_iter.py | |
| - | rw-r--r-- | 2,229 | solv_ore_iter.rb | |
| - | rw-r--r-- | 2,678 | solv_ore_iter_gb.py | |
| - | rw-r--r-- | 2,585 | solv_ore_iter_gb.rb | |
| - | rw-r--r-- | 3,256 | solv_ore_iter_locres.rb | |
| - | rw-r--r-- | 2,921 | solv_ore_iter_syz.py | |
| - | rw-r--r-- | 2,878 | solv_ore_iter_syz.rb | |
| - | rw-r--r-- | 1,866 | solv_ore_syz.py | |
| - | rw-r--r-- | 2,002 | solv_ore_syz.rb | |
| - | rw-r--r-- | 2,695 | solv_quot_locres.rb | |
| - | rw-r--r-- | 3,254 | solv_resi_ore_iter.py | |
| - | rw-r--r-- | 3,217 | solv_resi_ore_iter.rb | |
| - | rw-r--r-- | 4,030 | solv_syz_mod.py | |
| - | rw-r--r-- | 651 | solvable.py | |
| - | rw-r--r-- | 684 | solvable.rb | |
| - | rw-r--r-- | 811 | solvablemodule.py | |
| - | rw-r--r-- | 1,081 | solvablemodule.rb | |
| - | rw-r--r-- | 2,525 | solvablepolynomial.py | |
| - | rw-r--r-- | 2,133 | solvablepolynomial.rb | |
| - | rw-r--r-- | 1,368 | solvmodright.py | |
| - | rw-r--r-- | 1,350 | solvmodright.rb | |
| - | rw-r--r-- | 939 | squarefree.py | |
| - | rw-r--r-- | 870 | squarefree.rb | |
| - | rw-r--r-- | 861 | squarefree_finite.py | |
| - | rw-r--r-- | 824 | squarefree_finite.rb | |
| - | rw-r--r-- | 943 | squarefree_finite_alg.py | |
| - | rw-r--r-- | 893 | squarefree_finite_alg.rb | |
| - | rw-r--r-- | 1,065 | squarefree_infinite.py | |
| - | rw-r--r-- | 1,010 | squarefree_infinite.rb | |
| - | rw-r--r-- | 979 | squarefree_poly.py | |
| - | rw-r--r-- | 964 | squarefree_poly.rb | |
| - | rw-r--r-- | 5,488 | staggered_linear_basis.py | |
| - | rw-r--r-- | 847 | std.py | |
| - | rw-r--r-- | 763 | std.rb | |
| - | rw-r--r-- | 917 | subring.py | |
| - | rw-r--r-- | 843 | subring.rb | |
| - | rw-r--r-- | 1,474 | suzukiSato_ex1.py | |
| - | rw-r--r-- | 1,117 | suzukiSato_ex1.rb | |
| - | rw-r--r-- | 964 | sys-bio.py | |
| - | rw-r--r-- | 918 | sys-bio.rb | |
| - | rw-r--r-- | 5,002 | sys-bio2.py | |
| - | rw-r--r-- | 1,880 | syz.py | |
| - | rw-r--r-- | 1,985 | syz.rb | |
| - | rw-r--r-- | 1,058 | syz_script.py | |
| - | rw-r--r-- | 988 | syz_script.rb | |
| - | rw-r--r-- | 635 | syzsolv.py | |
| - | rw-r--r-- | 661 | syzsolv.rb | |
| - | rw-r--r-- | 1,306 | syzy2.py | |
| - | rw-r--r-- | 1,379 | syzy2.rb | |
| - | rw-r--r-- | 452 | syzy3.py | |
| - | rw-r--r-- | 489 | syzy3.rb | |
| - | rw-r--r-- | 363 | testunit.py | |
| - | rw-r--r-- | 898 | trinks.groovy | |
| - | rw-r--r-- | 1,653 | trinks.py | |
| - | rw-r--r-- | 1,653 | trinks.rb | |
| - | rw-r--r-- | 225 | trinks6.jas | |
| - | rw-r--r-- | 262 | trinks7.jas | |
| - | rw-r--r-- | 1,072 | trinksTest.py | |
| - | rw-r--r-- | 1,907 | trinks_s.py | |
| - | rw-r--r-- | 4,005 | trinks_sigbased_gb.py | |
| - | rw-r--r-- | 1,176 | trinks_str.py | |
| - | rw-r--r-- | 1,138 | trinks_str.rb | |
| - | rw-r--r-- | 2,090 | trinks_sym.py | |
| - | rw-r--r-- | 564 | tuzun.py | |
| - | rw-r--r-- | 617 | tuzun.rb | |
| - | rw-r--r-- | 1,780 | u_2_wa_1.py | |
| - | rw-r--r-- | 586 | u_sl_2.py | |
| - | rw-r--r-- | 603 | u_sl_2.rb | |
| - | rw-r--r-- | 471 | u_sl_2_e.py | |
| - | rw-r--r-- | 540 | u_sl_2_e.rb | |
| - | rw-r--r-- | 472 | u_sl_2_f.py | |
| - | rw-r--r-- | 1,835 | u_sl_2_wa_1.py | |
| - | rw-r--r-- | 144 | u_sl_3.jas | |
| - | rw-r--r-- | 1,193 | u_sl_3.py | |
| - | rw-r--r-- | 1,264 | u_sl_3.rb | |
| - | rw-r--r-- | 2,460 | u_sl_3_prod.py | |
| - | rw-r--r-- | 2,516 | u_sl_3_prod.rb | |
| - | rw-r--r-- | 1,023 | u_so_3.py | |
| - | rw-r--r-- | 154 | vw.jas | |
| - | rw-r--r-- | 134 | wa_1.jas | |
| - | rw-r--r-- | 610 | wa_1.py | |
| - | rw-r--r-- | 429 | wa_1r.jas | |
| - | rw-r--r-- | 217 | wa_32.jas | |
| - | rw-r--r-- | 1,681 | wa_32.py | |
| - | rw-r--r-- | 1,562 | wa_32_syz.py | |
| - | rw-r--r-- | 217 | wa_34.jas | |
| - | rw-r--r-- | 249 | wa_39.jas | |
| - | rw-r--r-- | 219 | wa_41.jas | |
| - | rw-r--r-- | 258 | wa_61.jas | |
| - | rw-r--r-- | 2,210 | weyl_iter.py | |
| - | rw-r--r-- | 2,143 | weyl_iter.rb | |
| - | rw-r--r-- | 1,346 | weyl_sunwang_E.rb | |
| - | rw-r--r-- | 1,285 | weyl_sunwang_E1.rb | |
| - | rw-r--r-- | 1,312 | weyl_sunwang_E2.rb | |
| - | rw-r--r-- | 1,313 | weyl_sunwang_E3.rb | |
| - | rw-r--r-- | 1,300 | weyl_sunwang_E4.rb | |
| - | rw-r--r-- | 1,311 | weyl_sunwang_E5.rb | |
| - | rw-r--r-- | 1,552 | weyl_sunwang_E6.rb | |
| - | rw-r--r-- | 1,325 | weyl_sunwang_E7.rb | |
| - | rw-r--r-- | 1,149 | word_evans.py | |
| - | rw-r--r-- | 965 | word_evans.rb | |
| - | rw-r--r-- | 2,818 | word_exterior.py | |
| - | rw-r--r-- | 2,685 | word_exterior.rb | |
| - | rw-r--r-- | 1,325 | word_hawes2.py | |
| - | rw-r--r-- | 1,152 | word_hawes2.rb | |
| - | rw-r--r-- | 2,564 | word_residu_exterior.py | |
| - | rw-r--r-- | 2,412 | word_residu_exterior.rb | |
| - | rw-r--r-- | 2,407 | word_simple.py | |
| - | rw-r--r-- | 2,292 | word_simple.rb | |
| - | rw-r--r-- | 2,226 | word_solvable.py | |
| - | rw-r--r-- | 2,018 | word_solvable.rb | |
| - | rw-r--r-- | 2,232 | word_solvable_trans.py | |
| - | rw-r--r-- | 2,243 | word_solvable_trans.rb |
