DifferentialAlgebra 4.0__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- DifferentialAlgebra-4.0/DifferentialAlgebra.egg-info/PKG-INFO +50 -0
- DifferentialAlgebra-4.0/DifferentialAlgebra.egg-info/SOURCES.txt +485 -0
- DifferentialAlgebra-4.0/DifferentialAlgebra.egg-info/dependency_links.txt +1 -0
- DifferentialAlgebra-4.0/DifferentialAlgebra.egg-info/requires.txt +1 -0
- DifferentialAlgebra-4.0/DifferentialAlgebra.egg-info/top_level.txt +1 -0
- DifferentialAlgebra-4.0/LICENSE +304 -0
- DifferentialAlgebra-4.0/MANIFEST.in +1 -0
- DifferentialAlgebra-4.0/PKG-INFO +50 -0
- DifferentialAlgebra-4.0/README.md +31 -0
- DifferentialAlgebra-4.0/pyproject.toml +29 -0
- DifferentialAlgebra-4.0/setup.cfg +4 -0
- DifferentialAlgebra-4.0/setup.py +455 -0
- DifferentialAlgebra-4.0/src/DifferentialAlgebra.c +45637 -0
- DifferentialAlgebra-4.0/src/__init__.py +0 -0
- DifferentialAlgebra-4.0/src/ba0.h +4146 -0
- DifferentialAlgebra-4.0/src/ba0_analex.c +722 -0
- DifferentialAlgebra-4.0/src/ba0_analex.h +120 -0
- DifferentialAlgebra-4.0/src/ba0_array.c +225 -0
- DifferentialAlgebra-4.0/src/ba0_array.h +60 -0
- DifferentialAlgebra-4.0/src/ba0_basic_io.c +410 -0
- DifferentialAlgebra-4.0/src/ba0_basic_io.h +94 -0
- DifferentialAlgebra-4.0/src/ba0_common.c +502 -0
- DifferentialAlgebra-4.0/src/ba0_common.h +382 -0
- DifferentialAlgebra-4.0/src/ba0_config.h +108 -0
- DifferentialAlgebra-4.0/src/ba0_copy.c +165 -0
- DifferentialAlgebra-4.0/src/ba0_copy.h +13 -0
- DifferentialAlgebra-4.0/src/ba0_double.c +295 -0
- DifferentialAlgebra-4.0/src/ba0_double.h +66 -0
- DifferentialAlgebra-4.0/src/ba0_exception.c +385 -0
- DifferentialAlgebra-4.0/src/ba0_exception.h +156 -0
- DifferentialAlgebra-4.0/src/ba0_format.c +589 -0
- DifferentialAlgebra-4.0/src/ba0_format.h +104 -0
- DifferentialAlgebra-4.0/src/ba0_garbage.c +786 -0
- DifferentialAlgebra-4.0/src/ba0_garbage.h +55 -0
- DifferentialAlgebra-4.0/src/ba0_global.c +17 -0
- DifferentialAlgebra-4.0/src/ba0_global.h +330 -0
- DifferentialAlgebra-4.0/src/ba0_gmp.c +680 -0
- DifferentialAlgebra-4.0/src/ba0_gmp.h +140 -0
- DifferentialAlgebra-4.0/src/ba0_indexed.c +611 -0
- DifferentialAlgebra-4.0/src/ba0_indexed.h +95 -0
- DifferentialAlgebra-4.0/src/ba0_int_p.c +56 -0
- DifferentialAlgebra-4.0/src/ba0_int_p.h +72 -0
- DifferentialAlgebra-4.0/src/ba0_interval_mpq.c +1645 -0
- DifferentialAlgebra-4.0/src/ba0_interval_mpq.h +254 -0
- DifferentialAlgebra-4.0/src/ba0_list.c +674 -0
- DifferentialAlgebra-4.0/src/ba0_list.h +90 -0
- DifferentialAlgebra-4.0/src/ba0_macros_interval_mpq.h +45 -0
- DifferentialAlgebra-4.0/src/ba0_macros_mint_hp.h +71 -0
- DifferentialAlgebra-4.0/src/ba0_macros_mpq.h +165 -0
- DifferentialAlgebra-4.0/src/ba0_macros_mpz.h +240 -0
- DifferentialAlgebra-4.0/src/ba0_macros_mpzm.h +115 -0
- DifferentialAlgebra-4.0/src/ba0_matrix.c +408 -0
- DifferentialAlgebra-4.0/src/ba0_matrix.h +103 -0
- DifferentialAlgebra-4.0/src/ba0_mesgerr.c +40 -0
- DifferentialAlgebra-4.0/src/ba0_mesgerr.h +73 -0
- DifferentialAlgebra-4.0/src/ba0_mint_hp.c +291 -0
- DifferentialAlgebra-4.0/src/ba0_mint_hp.h +62 -0
- DifferentialAlgebra-4.0/src/ba0_mpzm.c +391 -0
- DifferentialAlgebra-4.0/src/ba0_mpzm.h +79 -0
- DifferentialAlgebra-4.0/src/ba0_point.c +229 -0
- DifferentialAlgebra-4.0/src/ba0_point.h +83 -0
- DifferentialAlgebra-4.0/src/ba0_printf.c +433 -0
- DifferentialAlgebra-4.0/src/ba0_printf.h +32 -0
- DifferentialAlgebra-4.0/src/ba0_scanf.c +806 -0
- DifferentialAlgebra-4.0/src/ba0_scanf.h +43 -0
- DifferentialAlgebra-4.0/src/ba0_scanf_printf.c +92 -0
- DifferentialAlgebra-4.0/src/ba0_scanf_printf.h +14 -0
- DifferentialAlgebra-4.0/src/ba0_small_p.c +81 -0
- DifferentialAlgebra-4.0/src/ba0_small_p.h +21 -0
- DifferentialAlgebra-4.0/src/ba0_stack.c +1183 -0
- DifferentialAlgebra-4.0/src/ba0_stack.h +229 -0
- DifferentialAlgebra-4.0/src/ba0_string.c +191 -0
- DifferentialAlgebra-4.0/src/ba0_string.h +87 -0
- DifferentialAlgebra-4.0/src/ba0_table.c +496 -0
- DifferentialAlgebra-4.0/src/ba0_table.h +120 -0
- DifferentialAlgebra-4.0/src/bad.h +1923 -0
- DifferentialAlgebra-4.0/src/bad_Rosenfeld_Groebner.c +1020 -0
- DifferentialAlgebra-4.0/src/bad_Rosenfeld_Groebner.h +43 -0
- DifferentialAlgebra-4.0/src/bad_attchain.c +283 -0
- DifferentialAlgebra-4.0/src/bad_attchain.h +106 -0
- DifferentialAlgebra-4.0/src/bad_base_field.c +805 -0
- DifferentialAlgebra-4.0/src/bad_base_field.h +95 -0
- DifferentialAlgebra-4.0/src/bad_common.c +152 -0
- DifferentialAlgebra-4.0/src/bad_common.h +51 -0
- DifferentialAlgebra-4.0/src/bad_critical_pair.c +486 -0
- DifferentialAlgebra-4.0/src/bad_critical_pair.h +114 -0
- DifferentialAlgebra-4.0/src/bad_global.c +11 -0
- DifferentialAlgebra-4.0/src/bad_global.h +72 -0
- DifferentialAlgebra-4.0/src/bad_intersectof_regchain.c +493 -0
- DifferentialAlgebra-4.0/src/bad_intersectof_regchain.h +88 -0
- DifferentialAlgebra-4.0/src/bad_invert.c +680 -0
- DifferentialAlgebra-4.0/src/bad_invert.h +34 -0
- DifferentialAlgebra-4.0/src/bad_low_power_theorem.c +900 -0
- DifferentialAlgebra-4.0/src/bad_low_power_theorem.h +115 -0
- DifferentialAlgebra-4.0/src/bad_mesgerr.c +19 -0
- DifferentialAlgebra-4.0/src/bad_mesgerr.h +43 -0
- DifferentialAlgebra-4.0/src/bad_pardi.c +449 -0
- DifferentialAlgebra-4.0/src/bad_pardi.h +15 -0
- DifferentialAlgebra-4.0/src/bad_quadruple.c +1432 -0
- DifferentialAlgebra-4.0/src/bad_quadruple.h +186 -0
- DifferentialAlgebra-4.0/src/bad_quench_map.c +538 -0
- DifferentialAlgebra-4.0/src/bad_quench_map.h +109 -0
- DifferentialAlgebra-4.0/src/bad_quench_regchain.c +551 -0
- DifferentialAlgebra-4.0/src/bad_quench_regchain.h +36 -0
- DifferentialAlgebra-4.0/src/bad_reduced_form.c +134 -0
- DifferentialAlgebra-4.0/src/bad_reduced_form.h +23 -0
- DifferentialAlgebra-4.0/src/bad_reduction.c +2347 -0
- DifferentialAlgebra-4.0/src/bad_reduction.h +169 -0
- DifferentialAlgebra-4.0/src/bad_regchain.c +1242 -0
- DifferentialAlgebra-4.0/src/bad_regchain.h +187 -0
- DifferentialAlgebra-4.0/src/bad_regularize.c +1713 -0
- DifferentialAlgebra-4.0/src/bad_regularize.h +114 -0
- DifferentialAlgebra-4.0/src/bad_selection_strategy.c +74 -0
- DifferentialAlgebra-4.0/src/bad_selection_strategy.h +60 -0
- DifferentialAlgebra-4.0/src/bad_splitting_control.c +148 -0
- DifferentialAlgebra-4.0/src/bad_splitting_control.h +81 -0
- DifferentialAlgebra-4.0/src/bad_splitting_tree.c +522 -0
- DifferentialAlgebra-4.0/src/bad_splitting_tree.h +168 -0
- DifferentialAlgebra-4.0/src/bad_stats.c +43 -0
- DifferentialAlgebra-4.0/src/bad_stats.h +14 -0
- DifferentialAlgebra-4.0/src/bai.h +872 -0
- DifferentialAlgebra-4.0/src/bai_common.c +66 -0
- DifferentialAlgebra-4.0/src/bai_common.h +56 -0
- DifferentialAlgebra-4.0/src/bai_dop853.c +1811 -0
- DifferentialAlgebra-4.0/src/bai_dop853.h +522 -0
- DifferentialAlgebra-4.0/src/bai_dop853_coeffs.h +283 -0
- DifferentialAlgebra-4.0/src/bai_global.c +3 -0
- DifferentialAlgebra-4.0/src/bai_global.h +25 -0
- DifferentialAlgebra-4.0/src/bai_mesgerr.c +11 -0
- DifferentialAlgebra-4.0/src/bai_mesgerr.h +23 -0
- DifferentialAlgebra-4.0/src/bai_odex.c +755 -0
- DifferentialAlgebra-4.0/src/bai_odex.h +87 -0
- DifferentialAlgebra-4.0/src/bai_odex_function.h +77 -0
- DifferentialAlgebra-4.0/src/bai_odex_integrated_function.h +43 -0
- DifferentialAlgebra-4.0/src/bai_params.c +316 -0
- DifferentialAlgebra-4.0/src/bai_params.h +39 -0
- DifferentialAlgebra-4.0/src/bap.h +6762 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mint_hp.c +906 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mint_hp.h +62 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mpq.c +906 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mpq.h +62 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mpz.c +906 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mpz.h +62 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mpzm.c +906 -0
- DifferentialAlgebra-4.0/src/bap_Ducos_mpzm.h +62 -0
- DifferentialAlgebra-4.0/src/bap__check_mint_hp.c +50 -0
- DifferentialAlgebra-4.0/src/bap__check_mint_hp.h +21 -0
- DifferentialAlgebra-4.0/src/bap__check_mpq.c +50 -0
- DifferentialAlgebra-4.0/src/bap__check_mpq.h +21 -0
- DifferentialAlgebra-4.0/src/bap__check_mpz.c +50 -0
- DifferentialAlgebra-4.0/src/bap__check_mpz.h +21 -0
- DifferentialAlgebra-4.0/src/bap__check_mpzm.c +50 -0
- DifferentialAlgebra-4.0/src/bap__check_mpzm.h +21 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mint_hp.c +811 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mint_hp.h +54 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mpq.c +811 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mpq.h +54 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mpz.c +811 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mpz.h +54 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mpzm.c +811 -0
- DifferentialAlgebra-4.0/src/bap_add_polynom_mpzm.h +54 -0
- DifferentialAlgebra-4.0/src/bap_clot_mint_hp.c +1295 -0
- DifferentialAlgebra-4.0/src/bap_clot_mint_hp.h +244 -0
- DifferentialAlgebra-4.0/src/bap_clot_mpq.c +1295 -0
- DifferentialAlgebra-4.0/src/bap_clot_mpq.h +244 -0
- DifferentialAlgebra-4.0/src/bap_clot_mpz.c +1295 -0
- DifferentialAlgebra-4.0/src/bap_clot_mpz.h +244 -0
- DifferentialAlgebra-4.0/src/bap_clot_mpzm.c +1295 -0
- DifferentialAlgebra-4.0/src/bap_clot_mpzm.h +244 -0
- DifferentialAlgebra-4.0/src/bap_common.c +170 -0
- DifferentialAlgebra-4.0/src/bap_common.h +106 -0
- DifferentialAlgebra-4.0/src/bap_creator_mint_hp.c +215 -0
- DifferentialAlgebra-4.0/src/bap_creator_mint_hp.h +86 -0
- DifferentialAlgebra-4.0/src/bap_creator_mpq.c +215 -0
- DifferentialAlgebra-4.0/src/bap_creator_mpq.h +86 -0
- DifferentialAlgebra-4.0/src/bap_creator_mpz.c +215 -0
- DifferentialAlgebra-4.0/src/bap_creator_mpz.h +86 -0
- DifferentialAlgebra-4.0/src/bap_creator_mpzm.c +215 -0
- DifferentialAlgebra-4.0/src/bap_creator_mpzm.h +86 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mint_hp.c +499 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mint_hp.h +41 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mpq.c +499 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mpq.h +41 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mpz.c +499 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mpz.h +41 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mpzm.c +499 -0
- DifferentialAlgebra-4.0/src/bap_diff_polynom_mpzm.h +41 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mint_hp.c +330 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mint_hp.h +48 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mpq.c +330 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mpq.h +48 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mpz.c +330 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mpz.h +48 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mpzm.c +330 -0
- DifferentialAlgebra-4.0/src/bap_eval_polynom_mpzm.h +48 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mint_hp.c +362 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mint_hp.h +66 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mpq.c +362 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mpq.h +66 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mpz.c +362 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mpz.h +66 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mpzm.c +362 -0
- DifferentialAlgebra-4.0/src/bap_geobucket_mpzm.h +66 -0
- DifferentialAlgebra-4.0/src/bap_indexed_access.c +127 -0
- DifferentialAlgebra-4.0/src/bap_indexed_access.h +44 -0
- DifferentialAlgebra-4.0/src/bap_invert_mint_hp.c +250 -0
- DifferentialAlgebra-4.0/src/bap_invert_mint_hp.h +36 -0
- DifferentialAlgebra-4.0/src/bap_invert_mpq.c +250 -0
- DifferentialAlgebra-4.0/src/bap_invert_mpq.h +36 -0
- DifferentialAlgebra-4.0/src/bap_invert_mpzm.c +250 -0
- DifferentialAlgebra-4.0/src/bap_invert_mpzm.h +36 -0
- DifferentialAlgebra-4.0/src/bap_iterator_indexed_access.c +271 -0
- DifferentialAlgebra-4.0/src/bap_iterator_indexed_access.h +90 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mint_hp.c +382 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mint_hp.h +75 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mpq.c +382 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mpq.h +75 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mpz.c +382 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mpz.h +75 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mpzm.c +382 -0
- DifferentialAlgebra-4.0/src/bap_itercoeff_mpzm.h +75 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mint_hp.c +581 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mint_hp.h +92 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mpq.c +581 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mpq.h +92 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mpz.c +581 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mpz.h +92 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mpzm.c +581 -0
- DifferentialAlgebra-4.0/src/bap_itermon_mpzm.h +92 -0
- DifferentialAlgebra-4.0/src/bap_mesgerr.c +7 -0
- DifferentialAlgebra-4.0/src/bap_mesgerr.h +19 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mint_hp.c +793 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mint_hp.h +54 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mpq.c +793 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mpq.h +54 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mpz.c +793 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mpz.h +54 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mpzm.c +793 -0
- DifferentialAlgebra-4.0/src/bap_mul_polynom_mpzm.h +54 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mint_hp.c +583 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mint_hp.h +35 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mpq.c +583 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mpq.h +35 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mpz.c +583 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mpz.h +35 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mpzm.c +583 -0
- DifferentialAlgebra-4.0/src/bap_parse_polynom_mpzm.h +35 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mint_hp.c +2517 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mint_hp.h +342 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mpq.c +2517 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mpq.h +342 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mpz.c +2517 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mpz.h +342 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mpzm.c +2517 -0
- DifferentialAlgebra-4.0/src/bap_polynom_mpzm.h +342 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mint_hp.c +412 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mint_hp.h +35 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mpq.c +177 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mpq.h +33 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mpz.c +455 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mpz.h +67 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mpzm.c +1232 -0
- DifferentialAlgebra-4.0/src/bap_polyspec_mpzm.h +73 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mint_hp.c +1214 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mint_hp.h +78 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mpq.c +1214 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mpq.h +78 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mpz.c +1214 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mpz.h +78 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mpzm.c +1214 -0
- DifferentialAlgebra-4.0/src/bap_prem_polynom_mpzm.h +78 -0
- DifferentialAlgebra-4.0/src/bap_product_mint_hp.c +1134 -0
- DifferentialAlgebra-4.0/src/bap_product_mint_hp.h +194 -0
- DifferentialAlgebra-4.0/src/bap_product_mpq.c +1134 -0
- DifferentialAlgebra-4.0/src/bap_product_mpq.h +194 -0
- DifferentialAlgebra-4.0/src/bap_product_mpz.c +1134 -0
- DifferentialAlgebra-4.0/src/bap_product_mpz.h +194 -0
- DifferentialAlgebra-4.0/src/bap_product_mpzm.c +1134 -0
- DifferentialAlgebra-4.0/src/bap_product_mpzm.h +194 -0
- DifferentialAlgebra-4.0/src/bap_sequential_access.h +26 -0
- DifferentialAlgebra-4.0/src/bap_termanager.c +479 -0
- DifferentialAlgebra-4.0/src/bap_termanager.h +112 -0
- DifferentialAlgebra-4.0/src/bap_termstripper.c +169 -0
- DifferentialAlgebra-4.0/src/bap_termstripper.h +81 -0
- DifferentialAlgebra-4.0/src/bav.h +1536 -0
- DifferentialAlgebra-4.0/src/bav_block.c +122 -0
- DifferentialAlgebra-4.0/src/bav_block.h +63 -0
- DifferentialAlgebra-4.0/src/bav_common.c +172 -0
- DifferentialAlgebra-4.0/src/bav_common.h +119 -0
- DifferentialAlgebra-4.0/src/bav_differential_ring.c +1260 -0
- DifferentialAlgebra-4.0/src/bav_differential_ring.h +156 -0
- DifferentialAlgebra-4.0/src/bav_global.c +14 -0
- DifferentialAlgebra-4.0/src/bav_global.h +108 -0
- DifferentialAlgebra-4.0/src/bav_mesgerr.c +16 -0
- DifferentialAlgebra-4.0/src/bav_mesgerr.h +37 -0
- DifferentialAlgebra-4.0/src/bav_operator.c +1 -0
- DifferentialAlgebra-4.0/src/bav_operator.h +11 -0
- DifferentialAlgebra-4.0/src/bav_ordering.c +351 -0
- DifferentialAlgebra-4.0/src/bav_ordering.h +67 -0
- DifferentialAlgebra-4.0/src/bav_parameter.c +368 -0
- DifferentialAlgebra-4.0/src/bav_parameter.h +108 -0
- DifferentialAlgebra-4.0/src/bav_point_int_p.c +33 -0
- DifferentialAlgebra-4.0/src/bav_point_int_p.h +51 -0
- DifferentialAlgebra-4.0/src/bav_point_interval_mpq.c +283 -0
- DifferentialAlgebra-4.0/src/bav_point_interval_mpq.h +118 -0
- DifferentialAlgebra-4.0/src/bav_rank.c +374 -0
- DifferentialAlgebra-4.0/src/bav_rank.h +96 -0
- DifferentialAlgebra-4.0/src/bav_subranking.c +224 -0
- DifferentialAlgebra-4.0/src/bav_subranking.h +37 -0
- DifferentialAlgebra-4.0/src/bav_symbol.c +229 -0
- DifferentialAlgebra-4.0/src/bav_symbol.h +96 -0
- DifferentialAlgebra-4.0/src/bav_term.c +1195 -0
- DifferentialAlgebra-4.0/src/bav_term.h +220 -0
- DifferentialAlgebra-4.0/src/bav_term_ordering.c +248 -0
- DifferentialAlgebra-4.0/src/bav_term_ordering.h +21 -0
- DifferentialAlgebra-4.0/src/bav_variable.c +2229 -0
- DifferentialAlgebra-4.0/src/bav_variable.h +228 -0
- DifferentialAlgebra-4.0/src/baz.h +675 -0
- DifferentialAlgebra-4.0/src/baz_collect_terms_ratfrac.c +205 -0
- DifferentialAlgebra-4.0/src/baz_collect_terms_ratfrac.h +15 -0
- DifferentialAlgebra-4.0/src/baz_common.c +89 -0
- DifferentialAlgebra-4.0/src/baz_common.h +48 -0
- DifferentialAlgebra-4.0/src/baz_eval_polyspec_mpz.c +44 -0
- DifferentialAlgebra-4.0/src/baz_eval_polyspec_mpz.h +14 -0
- DifferentialAlgebra-4.0/src/baz_factor_polynom_mpz.c +1193 -0
- DifferentialAlgebra-4.0/src/baz_factor_polynom_mpz.h +13 -0
- DifferentialAlgebra-4.0/src/baz_gcd_polynom_mpz.c +3012 -0
- DifferentialAlgebra-4.0/src/baz_gcd_polynom_mpz.h +100 -0
- DifferentialAlgebra-4.0/src/baz_mesgerr.c +9 -0
- DifferentialAlgebra-4.0/src/baz_mesgerr.h +21 -0
- DifferentialAlgebra-4.0/src/baz_polyspec_mpz.c +1285 -0
- DifferentialAlgebra-4.0/src/baz_polyspec_mpz.h +95 -0
- DifferentialAlgebra-4.0/src/baz_prospec_mpz.c +224 -0
- DifferentialAlgebra-4.0/src/baz_prospec_mpz.h +20 -0
- DifferentialAlgebra-4.0/src/baz_rat_bilge_mpz.c +624 -0
- DifferentialAlgebra-4.0/src/baz_rat_bilge_mpz.h +16 -0
- DifferentialAlgebra-4.0/src/baz_ratfrac.c +1558 -0
- DifferentialAlgebra-4.0/src/baz_ratfrac.h +243 -0
- DifferentialAlgebra-4.0/src/baz_rel_ratfrac.c +268 -0
- DifferentialAlgebra-4.0/src/baz_rel_ratfrac.h +77 -0
- DifferentialAlgebra-4.0/src/blad.h +15914 -0
- DifferentialAlgebra-4.0/src/bmi.h +563 -0
- DifferentialAlgebra-4.0/src/bmi_Rosenfeld_Groebner.c +251 -0
- DifferentialAlgebra-4.0/src/bmi_Rosenfeld_Groebner.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_all_derivatives.c +156 -0
- DifferentialAlgebra-4.0/src/bmi_all_derivatives.h +14 -0
- DifferentialAlgebra-4.0/src/bmi_attributes.c +38 -0
- DifferentialAlgebra-4.0/src/bmi_attributes.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_balsa.c +747 -0
- DifferentialAlgebra-4.0/src/bmi_balsa.h +245 -0
- DifferentialAlgebra-4.0/src/bmi_base_field_generators.c +196 -0
- DifferentialAlgebra-4.0/src/bmi_base_field_generators.h +20 -0
- DifferentialAlgebra-4.0/src/bmi_belongs_to.c +64 -0
- DifferentialAlgebra-4.0/src/bmi_belongs_to.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_blad_eval.c +341 -0
- DifferentialAlgebra-4.0/src/bmi_blad_eval.h +17 -0
- DifferentialAlgebra-4.0/src/bmi_callback.c +346 -0
- DifferentialAlgebra-4.0/src/bmi_callback.h +85 -0
- DifferentialAlgebra-4.0/src/bmi_coeffs.c +411 -0
- DifferentialAlgebra-4.0/src/bmi_coeffs.h +14 -0
- DifferentialAlgebra-4.0/src/bmi_common.h +40 -0
- DifferentialAlgebra-4.0/src/bmi_dapyx.c +876 -0
- DifferentialAlgebra-4.0/src/bmi_dapyx.h +318 -0
- DifferentialAlgebra-4.0/src/bmi_delta_polynomial.c +76 -0
- DifferentialAlgebra-4.0/src/bmi_delta_polynomial.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_differential_prem.c +190 -0
- DifferentialAlgebra-4.0/src/bmi_differential_prem.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_differential_ring.c +87 -0
- DifferentialAlgebra-4.0/src/bmi_differential_ring.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_differentiate.c +107 -0
- DifferentialAlgebra-4.0/src/bmi_differentiate.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_equations.c +750 -0
- DifferentialAlgebra-4.0/src/bmi_equations.h +19 -0
- DifferentialAlgebra-4.0/src/bmi_exported.c +169 -0
- DifferentialAlgebra-4.0/src/bmi_exported.h +26 -0
- DifferentialAlgebra-4.0/src/bmi_factor_derivative.c +66 -0
- DifferentialAlgebra-4.0/src/bmi_factor_derivative.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_field_element.c +83 -0
- DifferentialAlgebra-4.0/src/bmi_field_element.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_frozen_symbols.c +102 -0
- DifferentialAlgebra-4.0/src/bmi_frozen_symbols.h +18 -0
- DifferentialAlgebra-4.0/src/bmi_gmp.c +396 -0
- DifferentialAlgebra-4.0/src/bmi_gmp.h +41 -0
- DifferentialAlgebra-4.0/src/bmi_indets.c +162 -0
- DifferentialAlgebra-4.0/src/bmi_indets.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_indices.h +94 -0
- DifferentialAlgebra-4.0/src/bmi_is_constant.c +88 -0
- DifferentialAlgebra-4.0/src/bmi_is_constant.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_is_orthonomic.c +44 -0
- DifferentialAlgebra-4.0/src/bmi_is_orthonomic.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_is_reduced.c +168 -0
- DifferentialAlgebra-4.0/src/bmi_is_reduced.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_leading_coefficient.c +111 -0
- DifferentialAlgebra-4.0/src/bmi_leading_coefficient.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_leading_derivative.c +73 -0
- DifferentialAlgebra-4.0/src/bmi_leading_derivative.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_leading_rank.c +95 -0
- DifferentialAlgebra-4.0/src/bmi_leading_rank.h +15 -0
- DifferentialAlgebra-4.0/src/bmi_max_rank_element.c +67 -0
- DifferentialAlgebra-4.0/src/bmi_max_rank_element.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_memory.c +311 -0
- DifferentialAlgebra-4.0/src/bmi_memory.h +17 -0
- DifferentialAlgebra-4.0/src/bmi_mesgerr.c +36 -0
- DifferentialAlgebra-4.0/src/bmi_mesgerr.h +37 -0
- DifferentialAlgebra-4.0/src/bmi_min_rank_element.c +66 -0
- DifferentialAlgebra-4.0/src/bmi_min_rank_element.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_normal_form.c +73 -0
- DifferentialAlgebra-4.0/src/bmi_normal_form.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_normal_form_ext.c +112 -0
- DifferentialAlgebra-4.0/src/bmi_normal_form_ext.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_number_of_equations.c +37 -0
- DifferentialAlgebra-4.0/src/bmi_number_of_equations.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_options.c +109 -0
- DifferentialAlgebra-4.0/src/bmi_options.h +62 -0
- DifferentialAlgebra-4.0/src/bmi_parameters.c +36 -0
- DifferentialAlgebra-4.0/src/bmi_parameters.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_pardi.c +171 -0
- DifferentialAlgebra-4.0/src/bmi_pardi.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_preparation_equation.c +275 -0
- DifferentialAlgebra-4.0/src/bmi_preparation_equation.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_pretend_regchain.c +59 -0
- DifferentialAlgebra-4.0/src/bmi_pretend_regchain.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_process_equations.c +116 -0
- DifferentialAlgebra-4.0/src/bmi_process_equations.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_process_expansion_point.c +224 -0
- DifferentialAlgebra-4.0/src/bmi_process_expansion_point.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_ranking.c +36 -0
- DifferentialAlgebra-4.0/src/bmi_ranking.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_rat_bilge.c +148 -0
- DifferentialAlgebra-4.0/src/bmi_rat_bilge.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_reduced_form.c +113 -0
- DifferentialAlgebra-4.0/src/bmi_reduced_form.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_rtable.c +402 -0
- DifferentialAlgebra-4.0/src/bmi_rtable.h +47 -0
- DifferentialAlgebra-4.0/src/bmi_separant.c +104 -0
- DifferentialAlgebra-4.0/src/bmi_separant.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_sort_by_rank.c +142 -0
- DifferentialAlgebra-4.0/src/bmi_sort_by_rank.h +13 -0
- DifferentialAlgebra-4.0/src/bmi_tail.c +111 -0
- DifferentialAlgebra-4.0/src/bmi_tail.h +13 -0
- DifferentialAlgebra-4.0/src/config.h +88 -0
- DifferentialAlgebra-4.0/src/mini-gmp.c +4627 -0
- DifferentialAlgebra-4.0/src/mini-gmp.h +311 -0
- DifferentialAlgebra-4.0/src/mini-mpq.c +556 -0
- DifferentialAlgebra-4.0/src/mini-mpq.h +114 -0
- DifferentialAlgebra-4.0/tests/test01.py +19 -0
- DifferentialAlgebra-4.0/tests/test02.py +20 -0
- DifferentialAlgebra-4.0/tests/test03.py +38 -0
- DifferentialAlgebra-4.0/tests/test04.py +28 -0
- DifferentialAlgebra-4.0/tests/test05.py +32 -0
- DifferentialAlgebra-4.0/tests/test06.py +34 -0
- DifferentialAlgebra-4.0/tests/test07.py +24 -0
- DifferentialAlgebra-4.0/tests/test08.py +39 -0
- DifferentialAlgebra-4.0/tests/test09.py +19 -0
- DifferentialAlgebra-4.0/tests/test10.py +19 -0
- DifferentialAlgebra-4.0/tests/test11.py +31 -0
- DifferentialAlgebra-4.0/tests/test12.py +19 -0
- DifferentialAlgebra-4.0/tests/test13.py +24 -0
- DifferentialAlgebra-4.0/tests/test14.py +31 -0
- DifferentialAlgebra-4.0/tests/test15.py +24 -0
- DifferentialAlgebra-4.0/tests/test16.py +25 -0
- DifferentialAlgebra-4.0/tests/test17.py +27 -0
- DifferentialAlgebra-4.0/tests/test18.py +41 -0
- DifferentialAlgebra-4.0/tests/test19.py +19 -0
- DifferentialAlgebra-4.0/tests/test20.py +26 -0
- DifferentialAlgebra-4.0/tests/test21.py +27 -0
- DifferentialAlgebra-4.0/tests/test22.py +28 -0
- DifferentialAlgebra-4.0/tests/test23.py +20 -0
- DifferentialAlgebra-4.0/tests/test24.py +32 -0
- DifferentialAlgebra-4.0/tests/test25.py +20 -0
- DifferentialAlgebra-4.0/tests/test26.py +21 -0
- DifferentialAlgebra-4.0/tests/test27.py +23 -0
- DifferentialAlgebra-4.0/tests/test28.py +21 -0
- DifferentialAlgebra-4.0/tests/test29.py +23 -0
- DifferentialAlgebra-4.0/tests/test30.py +23 -0
- DifferentialAlgebra-4.0/tests/test31.py +23 -0
- DifferentialAlgebra-4.0/tests/test32.py +31 -0
- DifferentialAlgebra-4.0/tests/test33.py +40 -0
- DifferentialAlgebra-4.0/tests/test34.py +25 -0
- DifferentialAlgebra-4.0/tests/test35.py +28 -0
- DifferentialAlgebra-4.0/tests/test36.py +67 -0
- DifferentialAlgebra-4.0/tests/test37.py +38 -0
- DifferentialAlgebra-4.0/tests/test38.py +30 -0
- DifferentialAlgebra-4.0/tests/test40.py +17 -0
- DifferentialAlgebra-4.0/tests/test41.py +20 -0
- DifferentialAlgebra-4.0/tests/test42.py +19 -0
- DifferentialAlgebra-4.0/tests/test43.py +22 -0
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
Metadata-Version: 2.1
|
|
2
|
+
Name: DifferentialAlgebra
|
|
3
|
+
Version: 4.0
|
|
4
|
+
Summary: The Differential Algebra package
|
|
5
|
+
Author-email: François Boulier <francois.boulier@univ-lille.fr>
|
|
6
|
+
Classifier: Development Status :: 5 - Production/Stable
|
|
7
|
+
Classifier: Intended Audience :: Education
|
|
8
|
+
Classifier: Intended Audience :: Science/Research
|
|
9
|
+
Classifier: License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)
|
|
10
|
+
Classifier: Operating System :: POSIX :: Linux
|
|
11
|
+
Classifier: Programming Language :: C
|
|
12
|
+
Classifier: Programming Language :: Cython
|
|
13
|
+
Classifier: Programming Language :: Python :: 3
|
|
14
|
+
Classifier: Topic :: Scientific/Engineering :: Mathematics
|
|
15
|
+
Requires-Python: >=3.8
|
|
16
|
+
Description-Content-Type: text/markdown
|
|
17
|
+
License-File: LICENSE
|
|
18
|
+
Requires-Dist: sympy
|
|
19
|
+
|
|
20
|
+
# DifferentialAlgebra Package
|
|
21
|
+
|
|
22
|
+
The DifferentialAlgebra package implements symbolic computation methods
|
|
23
|
+
related to Ritt and Kolchin Differential Algebra.
|
|
24
|
+
|
|
25
|
+
- Joseph Fels Ritt, Differential Algebra, volume 33 of AMS Colloquium
|
|
26
|
+
Publications, New York, 1950
|
|
27
|
+
|
|
28
|
+
- Ellis Robert Kolchin, Differential Algebra and Algebraic Groups,
|
|
29
|
+
Academic Press, 1973
|
|
30
|
+
|
|
31
|
+
It mostly provides an implementation of a differential elimination algorithm
|
|
32
|
+
which is a general simplification method for systems of polynomial differential
|
|
33
|
+
equations (ordinary or with partial derivatives).
|
|
34
|
+
|
|
35
|
+
# Notes
|
|
36
|
+
|
|
37
|
+
The actual source code is hosted at
|
|
38
|
+
|
|
39
|
+
https://codeberg.org/francois.boulier/DifferentialAlgebra
|
|
40
|
+
|
|
41
|
+
The source distribution contains the C code of the BLAD and BMI libraries
|
|
42
|
+
as well as the file DifferentialAlgebra.c generated by Cython over
|
|
43
|
+
|
|
44
|
+
bmi/sympy/DifferentialAlgebra.pyx
|
|
45
|
+
|
|
46
|
+
# Dependencies
|
|
47
|
+
|
|
48
|
+
The package involves an embedded version of mini-gmp.
|
|
49
|
+
It depends on the Python sympy package.
|
|
50
|
+
|
|
@@ -0,0 +1,485 @@
|
|
|
1
|
+
LICENSE
|
|
2
|
+
MANIFEST.in
|
|
3
|
+
README.md
|
|
4
|
+
pyproject.toml
|
|
5
|
+
setup.py
|
|
6
|
+
DifferentialAlgebra.egg-info/PKG-INFO
|
|
7
|
+
DifferentialAlgebra.egg-info/SOURCES.txt
|
|
8
|
+
DifferentialAlgebra.egg-info/dependency_links.txt
|
|
9
|
+
DifferentialAlgebra.egg-info/requires.txt
|
|
10
|
+
DifferentialAlgebra.egg-info/top_level.txt
|
|
11
|
+
src/DifferentialAlgebra.c
|
|
12
|
+
src/__init__.py
|
|
13
|
+
src/ba0.h
|
|
14
|
+
src/ba0_analex.c
|
|
15
|
+
src/ba0_analex.h
|
|
16
|
+
src/ba0_array.c
|
|
17
|
+
src/ba0_array.h
|
|
18
|
+
src/ba0_basic_io.c
|
|
19
|
+
src/ba0_basic_io.h
|
|
20
|
+
src/ba0_common.c
|
|
21
|
+
src/ba0_common.h
|
|
22
|
+
src/ba0_config.h
|
|
23
|
+
src/ba0_copy.c
|
|
24
|
+
src/ba0_copy.h
|
|
25
|
+
src/ba0_double.c
|
|
26
|
+
src/ba0_double.h
|
|
27
|
+
src/ba0_exception.c
|
|
28
|
+
src/ba0_exception.h
|
|
29
|
+
src/ba0_format.c
|
|
30
|
+
src/ba0_format.h
|
|
31
|
+
src/ba0_garbage.c
|
|
32
|
+
src/ba0_garbage.h
|
|
33
|
+
src/ba0_global.c
|
|
34
|
+
src/ba0_global.h
|
|
35
|
+
src/ba0_gmp.c
|
|
36
|
+
src/ba0_gmp.h
|
|
37
|
+
src/ba0_indexed.c
|
|
38
|
+
src/ba0_indexed.h
|
|
39
|
+
src/ba0_int_p.c
|
|
40
|
+
src/ba0_int_p.h
|
|
41
|
+
src/ba0_interval_mpq.c
|
|
42
|
+
src/ba0_interval_mpq.h
|
|
43
|
+
src/ba0_list.c
|
|
44
|
+
src/ba0_list.h
|
|
45
|
+
src/ba0_macros_interval_mpq.h
|
|
46
|
+
src/ba0_macros_mint_hp.h
|
|
47
|
+
src/ba0_macros_mpq.h
|
|
48
|
+
src/ba0_macros_mpz.h
|
|
49
|
+
src/ba0_macros_mpzm.h
|
|
50
|
+
src/ba0_matrix.c
|
|
51
|
+
src/ba0_matrix.h
|
|
52
|
+
src/ba0_mesgerr.c
|
|
53
|
+
src/ba0_mesgerr.h
|
|
54
|
+
src/ba0_mint_hp.c
|
|
55
|
+
src/ba0_mint_hp.h
|
|
56
|
+
src/ba0_mpzm.c
|
|
57
|
+
src/ba0_mpzm.h
|
|
58
|
+
src/ba0_point.c
|
|
59
|
+
src/ba0_point.h
|
|
60
|
+
src/ba0_printf.c
|
|
61
|
+
src/ba0_printf.h
|
|
62
|
+
src/ba0_scanf.c
|
|
63
|
+
src/ba0_scanf.h
|
|
64
|
+
src/ba0_scanf_printf.c
|
|
65
|
+
src/ba0_scanf_printf.h
|
|
66
|
+
src/ba0_small_p.c
|
|
67
|
+
src/ba0_small_p.h
|
|
68
|
+
src/ba0_stack.c
|
|
69
|
+
src/ba0_stack.h
|
|
70
|
+
src/ba0_string.c
|
|
71
|
+
src/ba0_string.h
|
|
72
|
+
src/ba0_table.c
|
|
73
|
+
src/ba0_table.h
|
|
74
|
+
src/bad.h
|
|
75
|
+
src/bad_Rosenfeld_Groebner.c
|
|
76
|
+
src/bad_Rosenfeld_Groebner.h
|
|
77
|
+
src/bad_attchain.c
|
|
78
|
+
src/bad_attchain.h
|
|
79
|
+
src/bad_base_field.c
|
|
80
|
+
src/bad_base_field.h
|
|
81
|
+
src/bad_common.c
|
|
82
|
+
src/bad_common.h
|
|
83
|
+
src/bad_critical_pair.c
|
|
84
|
+
src/bad_critical_pair.h
|
|
85
|
+
src/bad_global.c
|
|
86
|
+
src/bad_global.h
|
|
87
|
+
src/bad_intersectof_regchain.c
|
|
88
|
+
src/bad_intersectof_regchain.h
|
|
89
|
+
src/bad_invert.c
|
|
90
|
+
src/bad_invert.h
|
|
91
|
+
src/bad_low_power_theorem.c
|
|
92
|
+
src/bad_low_power_theorem.h
|
|
93
|
+
src/bad_mesgerr.c
|
|
94
|
+
src/bad_mesgerr.h
|
|
95
|
+
src/bad_pardi.c
|
|
96
|
+
src/bad_pardi.h
|
|
97
|
+
src/bad_quadruple.c
|
|
98
|
+
src/bad_quadruple.h
|
|
99
|
+
src/bad_quench_map.c
|
|
100
|
+
src/bad_quench_map.h
|
|
101
|
+
src/bad_quench_regchain.c
|
|
102
|
+
src/bad_quench_regchain.h
|
|
103
|
+
src/bad_reduced_form.c
|
|
104
|
+
src/bad_reduced_form.h
|
|
105
|
+
src/bad_reduction.c
|
|
106
|
+
src/bad_reduction.h
|
|
107
|
+
src/bad_regchain.c
|
|
108
|
+
src/bad_regchain.h
|
|
109
|
+
src/bad_regularize.c
|
|
110
|
+
src/bad_regularize.h
|
|
111
|
+
src/bad_selection_strategy.c
|
|
112
|
+
src/bad_selection_strategy.h
|
|
113
|
+
src/bad_splitting_control.c
|
|
114
|
+
src/bad_splitting_control.h
|
|
115
|
+
src/bad_splitting_tree.c
|
|
116
|
+
src/bad_splitting_tree.h
|
|
117
|
+
src/bad_stats.c
|
|
118
|
+
src/bad_stats.h
|
|
119
|
+
src/bai.h
|
|
120
|
+
src/bai_common.c
|
|
121
|
+
src/bai_common.h
|
|
122
|
+
src/bai_dop853.c
|
|
123
|
+
src/bai_dop853.h
|
|
124
|
+
src/bai_dop853_coeffs.h
|
|
125
|
+
src/bai_global.c
|
|
126
|
+
src/bai_global.h
|
|
127
|
+
src/bai_mesgerr.c
|
|
128
|
+
src/bai_mesgerr.h
|
|
129
|
+
src/bai_odex.c
|
|
130
|
+
src/bai_odex.h
|
|
131
|
+
src/bai_odex_function.h
|
|
132
|
+
src/bai_odex_integrated_function.h
|
|
133
|
+
src/bai_params.c
|
|
134
|
+
src/bai_params.h
|
|
135
|
+
src/bap.h
|
|
136
|
+
src/bap_Ducos_mint_hp.c
|
|
137
|
+
src/bap_Ducos_mint_hp.h
|
|
138
|
+
src/bap_Ducos_mpq.c
|
|
139
|
+
src/bap_Ducos_mpq.h
|
|
140
|
+
src/bap_Ducos_mpz.c
|
|
141
|
+
src/bap_Ducos_mpz.h
|
|
142
|
+
src/bap_Ducos_mpzm.c
|
|
143
|
+
src/bap_Ducos_mpzm.h
|
|
144
|
+
src/bap__check_mint_hp.c
|
|
145
|
+
src/bap__check_mint_hp.h
|
|
146
|
+
src/bap__check_mpq.c
|
|
147
|
+
src/bap__check_mpq.h
|
|
148
|
+
src/bap__check_mpz.c
|
|
149
|
+
src/bap__check_mpz.h
|
|
150
|
+
src/bap__check_mpzm.c
|
|
151
|
+
src/bap__check_mpzm.h
|
|
152
|
+
src/bap_add_polynom_mint_hp.c
|
|
153
|
+
src/bap_add_polynom_mint_hp.h
|
|
154
|
+
src/bap_add_polynom_mpq.c
|
|
155
|
+
src/bap_add_polynom_mpq.h
|
|
156
|
+
src/bap_add_polynom_mpz.c
|
|
157
|
+
src/bap_add_polynom_mpz.h
|
|
158
|
+
src/bap_add_polynom_mpzm.c
|
|
159
|
+
src/bap_add_polynom_mpzm.h
|
|
160
|
+
src/bap_clot_mint_hp.c
|
|
161
|
+
src/bap_clot_mint_hp.h
|
|
162
|
+
src/bap_clot_mpq.c
|
|
163
|
+
src/bap_clot_mpq.h
|
|
164
|
+
src/bap_clot_mpz.c
|
|
165
|
+
src/bap_clot_mpz.h
|
|
166
|
+
src/bap_clot_mpzm.c
|
|
167
|
+
src/bap_clot_mpzm.h
|
|
168
|
+
src/bap_common.c
|
|
169
|
+
src/bap_common.h
|
|
170
|
+
src/bap_creator_mint_hp.c
|
|
171
|
+
src/bap_creator_mint_hp.h
|
|
172
|
+
src/bap_creator_mpq.c
|
|
173
|
+
src/bap_creator_mpq.h
|
|
174
|
+
src/bap_creator_mpz.c
|
|
175
|
+
src/bap_creator_mpz.h
|
|
176
|
+
src/bap_creator_mpzm.c
|
|
177
|
+
src/bap_creator_mpzm.h
|
|
178
|
+
src/bap_diff_polynom_mint_hp.c
|
|
179
|
+
src/bap_diff_polynom_mint_hp.h
|
|
180
|
+
src/bap_diff_polynom_mpq.c
|
|
181
|
+
src/bap_diff_polynom_mpq.h
|
|
182
|
+
src/bap_diff_polynom_mpz.c
|
|
183
|
+
src/bap_diff_polynom_mpz.h
|
|
184
|
+
src/bap_diff_polynom_mpzm.c
|
|
185
|
+
src/bap_diff_polynom_mpzm.h
|
|
186
|
+
src/bap_eval_polynom_mint_hp.c
|
|
187
|
+
src/bap_eval_polynom_mint_hp.h
|
|
188
|
+
src/bap_eval_polynom_mpq.c
|
|
189
|
+
src/bap_eval_polynom_mpq.h
|
|
190
|
+
src/bap_eval_polynom_mpz.c
|
|
191
|
+
src/bap_eval_polynom_mpz.h
|
|
192
|
+
src/bap_eval_polynom_mpzm.c
|
|
193
|
+
src/bap_eval_polynom_mpzm.h
|
|
194
|
+
src/bap_geobucket_mint_hp.c
|
|
195
|
+
src/bap_geobucket_mint_hp.h
|
|
196
|
+
src/bap_geobucket_mpq.c
|
|
197
|
+
src/bap_geobucket_mpq.h
|
|
198
|
+
src/bap_geobucket_mpz.c
|
|
199
|
+
src/bap_geobucket_mpz.h
|
|
200
|
+
src/bap_geobucket_mpzm.c
|
|
201
|
+
src/bap_geobucket_mpzm.h
|
|
202
|
+
src/bap_indexed_access.c
|
|
203
|
+
src/bap_indexed_access.h
|
|
204
|
+
src/bap_invert_mint_hp.c
|
|
205
|
+
src/bap_invert_mint_hp.h
|
|
206
|
+
src/bap_invert_mpq.c
|
|
207
|
+
src/bap_invert_mpq.h
|
|
208
|
+
src/bap_invert_mpzm.c
|
|
209
|
+
src/bap_invert_mpzm.h
|
|
210
|
+
src/bap_iterator_indexed_access.c
|
|
211
|
+
src/bap_iterator_indexed_access.h
|
|
212
|
+
src/bap_itercoeff_mint_hp.c
|
|
213
|
+
src/bap_itercoeff_mint_hp.h
|
|
214
|
+
src/bap_itercoeff_mpq.c
|
|
215
|
+
src/bap_itercoeff_mpq.h
|
|
216
|
+
src/bap_itercoeff_mpz.c
|
|
217
|
+
src/bap_itercoeff_mpz.h
|
|
218
|
+
src/bap_itercoeff_mpzm.c
|
|
219
|
+
src/bap_itercoeff_mpzm.h
|
|
220
|
+
src/bap_itermon_mint_hp.c
|
|
221
|
+
src/bap_itermon_mint_hp.h
|
|
222
|
+
src/bap_itermon_mpq.c
|
|
223
|
+
src/bap_itermon_mpq.h
|
|
224
|
+
src/bap_itermon_mpz.c
|
|
225
|
+
src/bap_itermon_mpz.h
|
|
226
|
+
src/bap_itermon_mpzm.c
|
|
227
|
+
src/bap_itermon_mpzm.h
|
|
228
|
+
src/bap_mesgerr.c
|
|
229
|
+
src/bap_mesgerr.h
|
|
230
|
+
src/bap_mul_polynom_mint_hp.c
|
|
231
|
+
src/bap_mul_polynom_mint_hp.h
|
|
232
|
+
src/bap_mul_polynom_mpq.c
|
|
233
|
+
src/bap_mul_polynom_mpq.h
|
|
234
|
+
src/bap_mul_polynom_mpz.c
|
|
235
|
+
src/bap_mul_polynom_mpz.h
|
|
236
|
+
src/bap_mul_polynom_mpzm.c
|
|
237
|
+
src/bap_mul_polynom_mpzm.h
|
|
238
|
+
src/bap_parse_polynom_mint_hp.c
|
|
239
|
+
src/bap_parse_polynom_mint_hp.h
|
|
240
|
+
src/bap_parse_polynom_mpq.c
|
|
241
|
+
src/bap_parse_polynom_mpq.h
|
|
242
|
+
src/bap_parse_polynom_mpz.c
|
|
243
|
+
src/bap_parse_polynom_mpz.h
|
|
244
|
+
src/bap_parse_polynom_mpzm.c
|
|
245
|
+
src/bap_parse_polynom_mpzm.h
|
|
246
|
+
src/bap_polynom_mint_hp.c
|
|
247
|
+
src/bap_polynom_mint_hp.h
|
|
248
|
+
src/bap_polynom_mpq.c
|
|
249
|
+
src/bap_polynom_mpq.h
|
|
250
|
+
src/bap_polynom_mpz.c
|
|
251
|
+
src/bap_polynom_mpz.h
|
|
252
|
+
src/bap_polynom_mpzm.c
|
|
253
|
+
src/bap_polynom_mpzm.h
|
|
254
|
+
src/bap_polyspec_mint_hp.c
|
|
255
|
+
src/bap_polyspec_mint_hp.h
|
|
256
|
+
src/bap_polyspec_mpq.c
|
|
257
|
+
src/bap_polyspec_mpq.h
|
|
258
|
+
src/bap_polyspec_mpz.c
|
|
259
|
+
src/bap_polyspec_mpz.h
|
|
260
|
+
src/bap_polyspec_mpzm.c
|
|
261
|
+
src/bap_polyspec_mpzm.h
|
|
262
|
+
src/bap_prem_polynom_mint_hp.c
|
|
263
|
+
src/bap_prem_polynom_mint_hp.h
|
|
264
|
+
src/bap_prem_polynom_mpq.c
|
|
265
|
+
src/bap_prem_polynom_mpq.h
|
|
266
|
+
src/bap_prem_polynom_mpz.c
|
|
267
|
+
src/bap_prem_polynom_mpz.h
|
|
268
|
+
src/bap_prem_polynom_mpzm.c
|
|
269
|
+
src/bap_prem_polynom_mpzm.h
|
|
270
|
+
src/bap_product_mint_hp.c
|
|
271
|
+
src/bap_product_mint_hp.h
|
|
272
|
+
src/bap_product_mpq.c
|
|
273
|
+
src/bap_product_mpq.h
|
|
274
|
+
src/bap_product_mpz.c
|
|
275
|
+
src/bap_product_mpz.h
|
|
276
|
+
src/bap_product_mpzm.c
|
|
277
|
+
src/bap_product_mpzm.h
|
|
278
|
+
src/bap_sequential_access.h
|
|
279
|
+
src/bap_termanager.c
|
|
280
|
+
src/bap_termanager.h
|
|
281
|
+
src/bap_termstripper.c
|
|
282
|
+
src/bap_termstripper.h
|
|
283
|
+
src/bav.h
|
|
284
|
+
src/bav_block.c
|
|
285
|
+
src/bav_block.h
|
|
286
|
+
src/bav_common.c
|
|
287
|
+
src/bav_common.h
|
|
288
|
+
src/bav_differential_ring.c
|
|
289
|
+
src/bav_differential_ring.h
|
|
290
|
+
src/bav_global.c
|
|
291
|
+
src/bav_global.h
|
|
292
|
+
src/bav_mesgerr.c
|
|
293
|
+
src/bav_mesgerr.h
|
|
294
|
+
src/bav_operator.c
|
|
295
|
+
src/bav_operator.h
|
|
296
|
+
src/bav_ordering.c
|
|
297
|
+
src/bav_ordering.h
|
|
298
|
+
src/bav_parameter.c
|
|
299
|
+
src/bav_parameter.h
|
|
300
|
+
src/bav_point_int_p.c
|
|
301
|
+
src/bav_point_int_p.h
|
|
302
|
+
src/bav_point_interval_mpq.c
|
|
303
|
+
src/bav_point_interval_mpq.h
|
|
304
|
+
src/bav_rank.c
|
|
305
|
+
src/bav_rank.h
|
|
306
|
+
src/bav_subranking.c
|
|
307
|
+
src/bav_subranking.h
|
|
308
|
+
src/bav_symbol.c
|
|
309
|
+
src/bav_symbol.h
|
|
310
|
+
src/bav_term.c
|
|
311
|
+
src/bav_term.h
|
|
312
|
+
src/bav_term_ordering.c
|
|
313
|
+
src/bav_term_ordering.h
|
|
314
|
+
src/bav_variable.c
|
|
315
|
+
src/bav_variable.h
|
|
316
|
+
src/baz.h
|
|
317
|
+
src/baz_collect_terms_ratfrac.c
|
|
318
|
+
src/baz_collect_terms_ratfrac.h
|
|
319
|
+
src/baz_common.c
|
|
320
|
+
src/baz_common.h
|
|
321
|
+
src/baz_eval_polyspec_mpz.c
|
|
322
|
+
src/baz_eval_polyspec_mpz.h
|
|
323
|
+
src/baz_factor_polynom_mpz.c
|
|
324
|
+
src/baz_factor_polynom_mpz.h
|
|
325
|
+
src/baz_gcd_polynom_mpz.c
|
|
326
|
+
src/baz_gcd_polynom_mpz.h
|
|
327
|
+
src/baz_mesgerr.c
|
|
328
|
+
src/baz_mesgerr.h
|
|
329
|
+
src/baz_polyspec_mpz.c
|
|
330
|
+
src/baz_polyspec_mpz.h
|
|
331
|
+
src/baz_prospec_mpz.c
|
|
332
|
+
src/baz_prospec_mpz.h
|
|
333
|
+
src/baz_rat_bilge_mpz.c
|
|
334
|
+
src/baz_rat_bilge_mpz.h
|
|
335
|
+
src/baz_ratfrac.c
|
|
336
|
+
src/baz_ratfrac.h
|
|
337
|
+
src/baz_rel_ratfrac.c
|
|
338
|
+
src/baz_rel_ratfrac.h
|
|
339
|
+
src/blad.h
|
|
340
|
+
src/bmi.h
|
|
341
|
+
src/bmi_Rosenfeld_Groebner.c
|
|
342
|
+
src/bmi_Rosenfeld_Groebner.h
|
|
343
|
+
src/bmi_all_derivatives.c
|
|
344
|
+
src/bmi_all_derivatives.h
|
|
345
|
+
src/bmi_attributes.c
|
|
346
|
+
src/bmi_attributes.h
|
|
347
|
+
src/bmi_balsa.c
|
|
348
|
+
src/bmi_balsa.h
|
|
349
|
+
src/bmi_base_field_generators.c
|
|
350
|
+
src/bmi_base_field_generators.h
|
|
351
|
+
src/bmi_belongs_to.c
|
|
352
|
+
src/bmi_belongs_to.h
|
|
353
|
+
src/bmi_blad_eval.c
|
|
354
|
+
src/bmi_blad_eval.h
|
|
355
|
+
src/bmi_callback.c
|
|
356
|
+
src/bmi_callback.h
|
|
357
|
+
src/bmi_coeffs.c
|
|
358
|
+
src/bmi_coeffs.h
|
|
359
|
+
src/bmi_common.h
|
|
360
|
+
src/bmi_dapyx.c
|
|
361
|
+
src/bmi_dapyx.h
|
|
362
|
+
src/bmi_delta_polynomial.c
|
|
363
|
+
src/bmi_delta_polynomial.h
|
|
364
|
+
src/bmi_differential_prem.c
|
|
365
|
+
src/bmi_differential_prem.h
|
|
366
|
+
src/bmi_differential_ring.c
|
|
367
|
+
src/bmi_differential_ring.h
|
|
368
|
+
src/bmi_differentiate.c
|
|
369
|
+
src/bmi_differentiate.h
|
|
370
|
+
src/bmi_equations.c
|
|
371
|
+
src/bmi_equations.h
|
|
372
|
+
src/bmi_exported.c
|
|
373
|
+
src/bmi_exported.h
|
|
374
|
+
src/bmi_factor_derivative.c
|
|
375
|
+
src/bmi_factor_derivative.h
|
|
376
|
+
src/bmi_field_element.c
|
|
377
|
+
src/bmi_field_element.h
|
|
378
|
+
src/bmi_frozen_symbols.c
|
|
379
|
+
src/bmi_frozen_symbols.h
|
|
380
|
+
src/bmi_gmp.c
|
|
381
|
+
src/bmi_gmp.h
|
|
382
|
+
src/bmi_indets.c
|
|
383
|
+
src/bmi_indets.h
|
|
384
|
+
src/bmi_indices.h
|
|
385
|
+
src/bmi_is_constant.c
|
|
386
|
+
src/bmi_is_constant.h
|
|
387
|
+
src/bmi_is_orthonomic.c
|
|
388
|
+
src/bmi_is_orthonomic.h
|
|
389
|
+
src/bmi_is_reduced.c
|
|
390
|
+
src/bmi_is_reduced.h
|
|
391
|
+
src/bmi_leading_coefficient.c
|
|
392
|
+
src/bmi_leading_coefficient.h
|
|
393
|
+
src/bmi_leading_derivative.c
|
|
394
|
+
src/bmi_leading_derivative.h
|
|
395
|
+
src/bmi_leading_rank.c
|
|
396
|
+
src/bmi_leading_rank.h
|
|
397
|
+
src/bmi_max_rank_element.c
|
|
398
|
+
src/bmi_max_rank_element.h
|
|
399
|
+
src/bmi_memory.c
|
|
400
|
+
src/bmi_memory.h
|
|
401
|
+
src/bmi_mesgerr.c
|
|
402
|
+
src/bmi_mesgerr.h
|
|
403
|
+
src/bmi_min_rank_element.c
|
|
404
|
+
src/bmi_min_rank_element.h
|
|
405
|
+
src/bmi_normal_form.c
|
|
406
|
+
src/bmi_normal_form.h
|
|
407
|
+
src/bmi_normal_form_ext.c
|
|
408
|
+
src/bmi_normal_form_ext.h
|
|
409
|
+
src/bmi_number_of_equations.c
|
|
410
|
+
src/bmi_number_of_equations.h
|
|
411
|
+
src/bmi_options.c
|
|
412
|
+
src/bmi_options.h
|
|
413
|
+
src/bmi_parameters.c
|
|
414
|
+
src/bmi_parameters.h
|
|
415
|
+
src/bmi_pardi.c
|
|
416
|
+
src/bmi_pardi.h
|
|
417
|
+
src/bmi_preparation_equation.c
|
|
418
|
+
src/bmi_preparation_equation.h
|
|
419
|
+
src/bmi_pretend_regchain.c
|
|
420
|
+
src/bmi_pretend_regchain.h
|
|
421
|
+
src/bmi_process_equations.c
|
|
422
|
+
src/bmi_process_equations.h
|
|
423
|
+
src/bmi_process_expansion_point.c
|
|
424
|
+
src/bmi_process_expansion_point.h
|
|
425
|
+
src/bmi_ranking.c
|
|
426
|
+
src/bmi_ranking.h
|
|
427
|
+
src/bmi_rat_bilge.c
|
|
428
|
+
src/bmi_rat_bilge.h
|
|
429
|
+
src/bmi_reduced_form.c
|
|
430
|
+
src/bmi_reduced_form.h
|
|
431
|
+
src/bmi_rtable.c
|
|
432
|
+
src/bmi_rtable.h
|
|
433
|
+
src/bmi_separant.c
|
|
434
|
+
src/bmi_separant.h
|
|
435
|
+
src/bmi_sort_by_rank.c
|
|
436
|
+
src/bmi_sort_by_rank.h
|
|
437
|
+
src/bmi_tail.c
|
|
438
|
+
src/bmi_tail.h
|
|
439
|
+
src/config.h
|
|
440
|
+
src/mini-gmp.c
|
|
441
|
+
src/mini-gmp.h
|
|
442
|
+
src/mini-mpq.c
|
|
443
|
+
src/mini-mpq.h
|
|
444
|
+
tests/test01.py
|
|
445
|
+
tests/test02.py
|
|
446
|
+
tests/test03.py
|
|
447
|
+
tests/test04.py
|
|
448
|
+
tests/test05.py
|
|
449
|
+
tests/test06.py
|
|
450
|
+
tests/test07.py
|
|
451
|
+
tests/test08.py
|
|
452
|
+
tests/test09.py
|
|
453
|
+
tests/test10.py
|
|
454
|
+
tests/test11.py
|
|
455
|
+
tests/test12.py
|
|
456
|
+
tests/test13.py
|
|
457
|
+
tests/test14.py
|
|
458
|
+
tests/test15.py
|
|
459
|
+
tests/test16.py
|
|
460
|
+
tests/test17.py
|
|
461
|
+
tests/test18.py
|
|
462
|
+
tests/test19.py
|
|
463
|
+
tests/test20.py
|
|
464
|
+
tests/test21.py
|
|
465
|
+
tests/test22.py
|
|
466
|
+
tests/test23.py
|
|
467
|
+
tests/test24.py
|
|
468
|
+
tests/test25.py
|
|
469
|
+
tests/test26.py
|
|
470
|
+
tests/test27.py
|
|
471
|
+
tests/test28.py
|
|
472
|
+
tests/test29.py
|
|
473
|
+
tests/test30.py
|
|
474
|
+
tests/test31.py
|
|
475
|
+
tests/test32.py
|
|
476
|
+
tests/test33.py
|
|
477
|
+
tests/test34.py
|
|
478
|
+
tests/test35.py
|
|
479
|
+
tests/test36.py
|
|
480
|
+
tests/test37.py
|
|
481
|
+
tests/test38.py
|
|
482
|
+
tests/test40.py
|
|
483
|
+
tests/test41.py
|
|
484
|
+
tests/test42.py
|
|
485
|
+
tests/test43.py
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
sympy
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
DifferentialAlgebra
|