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