DifferentialAlgebra 4.0__tar.gz → 5.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 (1002) hide show
  1. differentialalgebra-5.0/DifferentialAlgebra.egg-info/PKG-INFO +51 -0
  2. differentialalgebra-5.0/DifferentialAlgebra.egg-info/SOURCES.txt +576 -0
  3. differentialalgebra-5.0/PKG-INFO +51 -0
  4. differentialalgebra-5.0/pyproject.toml +29 -0
  5. differentialalgebra-5.0/setup.py +529 -0
  6. differentialalgebra-5.0/src/DifferentialAlgebra.c +56543 -0
  7. differentialalgebra-5.0/src/ba0.h +4702 -0
  8. differentialalgebra-5.0/src/ba0_analex.c +813 -0
  9. differentialalgebra-5.0/src/ba0_analex.h +161 -0
  10. differentialalgebra-5.0/src/ba0_array.c +225 -0
  11. differentialalgebra-5.0/src/ba0_array.h +57 -0
  12. differentialalgebra-5.0/src/ba0_basic_io.c +414 -0
  13. differentialalgebra-5.0/src/ba0_basic_io.h +116 -0
  14. differentialalgebra-5.0/src/ba0_common.c +543 -0
  15. differentialalgebra-5.0/src/ba0_common.h +389 -0
  16. differentialalgebra-5.0/src/ba0_config.h +108 -0
  17. differentialalgebra-5.0/src/ba0_copy.c +169 -0
  18. differentialalgebra-5.0/src/ba0_copy.h +13 -0
  19. differentialalgebra-5.0/src/ba0_dictionary.c +298 -0
  20. differentialalgebra-5.0/src/ba0_dictionary.h +70 -0
  21. differentialalgebra-5.0/src/ba0_dictionary_string.c +335 -0
  22. differentialalgebra-5.0/src/ba0_dictionary_string.h +64 -0
  23. differentialalgebra-5.0/src/ba0_dictionary_typed_string.c +352 -0
  24. differentialalgebra-5.0/src/ba0_dictionary_typed_string.h +66 -0
  25. differentialalgebra-5.0/src/ba0_double.c +350 -0
  26. differentialalgebra-5.0/src/ba0_double.h +60 -0
  27. differentialalgebra-5.0/src/ba0_exception.h +156 -0
  28. differentialalgebra-5.0/src/ba0_format.c +596 -0
  29. differentialalgebra-5.0/src/ba0_format.h +142 -0
  30. differentialalgebra-5.0/src/ba0_garbage.c +813 -0
  31. differentialalgebra-5.0/src/ba0_garbage.h +64 -0
  32. differentialalgebra-5.0/src/ba0_global.c +40 -0
  33. differentialalgebra-5.0/src/ba0_global.h +376 -0
  34. differentialalgebra-5.0/src/ba0_gmp.c +778 -0
  35. differentialalgebra-5.0/src/ba0_gmp.h +136 -0
  36. differentialalgebra-5.0/src/ba0_indexed_string.c +775 -0
  37. differentialalgebra-5.0/src/ba0_indexed_string.h +129 -0
  38. differentialalgebra-5.0/src/ba0_int_p.c +101 -0
  39. differentialalgebra-5.0/src/ba0_int_p.h +55 -0
  40. differentialalgebra-5.0/src/ba0_interval_mpq.c +1691 -0
  41. differentialalgebra-5.0/src/ba0_interval_mpq.h +249 -0
  42. differentialalgebra-5.0/src/ba0_list.c +674 -0
  43. differentialalgebra-5.0/src/ba0_list.h +87 -0
  44. differentialalgebra-5.0/src/ba0_macros_mint_hp.h +71 -0
  45. differentialalgebra-5.0/src/ba0_macros_mpq.h +173 -0
  46. differentialalgebra-5.0/src/ba0_macros_mpz.h +256 -0
  47. differentialalgebra-5.0/src/ba0_macros_mpzm.h +115 -0
  48. differentialalgebra-5.0/src/ba0_matrix.c +408 -0
  49. differentialalgebra-5.0/src/ba0_matrix.h +100 -0
  50. differentialalgebra-5.0/src/ba0_mesgerr.c +47 -0
  51. differentialalgebra-5.0/src/ba0_mesgerr.h +81 -0
  52. differentialalgebra-5.0/src/ba0_mint_hp.h +56 -0
  53. differentialalgebra-5.0/src/ba0_mpzm.c +401 -0
  54. differentialalgebra-5.0/src/ba0_mpzm.h +73 -0
  55. differentialalgebra-5.0/src/ba0_point.c +276 -0
  56. differentialalgebra-5.0/src/ba0_point.h +106 -0
  57. differentialalgebra-5.0/src/ba0_printf.c +435 -0
  58. differentialalgebra-5.0/src/ba0_printf.h +32 -0
  59. differentialalgebra-5.0/src/ba0_range_indexed_group.c +779 -0
  60. differentialalgebra-5.0/src/ba0_range_indexed_group.h +162 -0
  61. differentialalgebra-5.0/src/ba0_scanf.c +803 -0
  62. differentialalgebra-5.0/src/ba0_scanf.h +43 -0
  63. differentialalgebra-5.0/src/ba0_scanf_printf.c +92 -0
  64. differentialalgebra-5.0/src/ba0_scanf_printf.h +14 -0
  65. differentialalgebra-5.0/src/ba0_small_p.h +21 -0
  66. differentialalgebra-5.0/src/ba0_stack.c +1185 -0
  67. differentialalgebra-5.0/src/ba0_stack.h +226 -0
  68. differentialalgebra-5.0/src/ba0_string.c +293 -0
  69. differentialalgebra-5.0/src/ba0_string.h +84 -0
  70. differentialalgebra-5.0/src/ba0_table.c +550 -0
  71. differentialalgebra-5.0/src/ba0_table.h +121 -0
  72. differentialalgebra-5.0/src/bad.h +2292 -0
  73. differentialalgebra-5.0/src/bad_Rosenfeld_Groebner.c +1624 -0
  74. differentialalgebra-5.0/src/bad_Rosenfeld_Groebner.h +62 -0
  75. differentialalgebra-5.0/src/bad_attchain.c +269 -0
  76. differentialalgebra-5.0/src/bad_attchain.h +104 -0
  77. differentialalgebra-5.0/src/bad_base_field.c +638 -0
  78. differentialalgebra-5.0/src/bad_base_field.h +105 -0
  79. differentialalgebra-5.0/src/bad_common.c +137 -0
  80. differentialalgebra-5.0/src/bad_common.h +53 -0
  81. differentialalgebra-5.0/src/bad_critical_pair.c +568 -0
  82. differentialalgebra-5.0/src/bad_critical_pair.h +118 -0
  83. differentialalgebra-5.0/src/bad_global.h +72 -0
  84. differentialalgebra-5.0/src/bad_intersectof_regchain.c +709 -0
  85. differentialalgebra-5.0/src/bad_intersectof_regchain.h +108 -0
  86. differentialalgebra-5.0/src/bad_invert.c +694 -0
  87. differentialalgebra-5.0/src/bad_invert.h +34 -0
  88. differentialalgebra-5.0/src/bad_low_power_theorem.c +902 -0
  89. differentialalgebra-5.0/src/bad_low_power_theorem.h +106 -0
  90. differentialalgebra-5.0/src/bad_mesgerr.c +22 -0
  91. differentialalgebra-5.0/src/bad_mesgerr.h +49 -0
  92. differentialalgebra-5.0/src/bad_pardi.c +468 -0
  93. differentialalgebra-5.0/src/bad_pardi.h +15 -0
  94. differentialalgebra-5.0/src/bad_quadruple.c +1712 -0
  95. differentialalgebra-5.0/src/bad_quadruple.h +187 -0
  96. differentialalgebra-5.0/src/bad_quench_map.c +542 -0
  97. differentialalgebra-5.0/src/bad_quench_regchain.c +670 -0
  98. differentialalgebra-5.0/src/bad_quench_regchain.h +42 -0
  99. differentialalgebra-5.0/src/bad_reduced_form.c +169 -0
  100. differentialalgebra-5.0/src/bad_reduced_form.h +23 -0
  101. differentialalgebra-5.0/src/bad_reduction.c +2210 -0
  102. differentialalgebra-5.0/src/bad_reduction.h +160 -0
  103. differentialalgebra-5.0/src/bad_regchain.c +1340 -0
  104. differentialalgebra-5.0/src/bad_regchain.h +211 -0
  105. differentialalgebra-5.0/src/bad_regularize.c +1767 -0
  106. differentialalgebra-5.0/src/bad_regularize.h +114 -0
  107. differentialalgebra-5.0/src/bad_resultant.c +98 -0
  108. differentialalgebra-5.0/src/bad_resultant.h +14 -0
  109. differentialalgebra-5.0/src/bad_selection_strategy.c +74 -0
  110. differentialalgebra-5.0/src/bad_selection_strategy.h +56 -0
  111. differentialalgebra-5.0/src/bad_splitting_control.c +277 -0
  112. differentialalgebra-5.0/src/bad_splitting_control.h +109 -0
  113. differentialalgebra-5.0/src/bad_splitting_edge.c +357 -0
  114. differentialalgebra-5.0/src/bad_splitting_edge.h +135 -0
  115. differentialalgebra-5.0/src/bad_splitting_tree.c +737 -0
  116. differentialalgebra-5.0/src/bad_splitting_tree.h +142 -0
  117. differentialalgebra-5.0/src/bad_splitting_vertex.c +354 -0
  118. differentialalgebra-5.0/src/bad_splitting_vertex.h +150 -0
  119. differentialalgebra-5.0/src/bad_stats.c +42 -0
  120. differentialalgebra-5.0/src/bad_stats.h +14 -0
  121. differentialalgebra-5.0/src/bai.h +842 -0
  122. differentialalgebra-5.0/src/bai_common.c +64 -0
  123. differentialalgebra-5.0/src/bai_common.h +56 -0
  124. differentialalgebra-5.0/src/bai_dop853.c +1824 -0
  125. differentialalgebra-5.0/src/bai_dop853.h +495 -0
  126. differentialalgebra-5.0/src/bai_global.h +25 -0
  127. differentialalgebra-5.0/src/bai_mesgerr.h +23 -0
  128. differentialalgebra-5.0/src/bai_odex.c +762 -0
  129. differentialalgebra-5.0/src/bai_odex.h +84 -0
  130. differentialalgebra-5.0/src/bai_odex_function.h +77 -0
  131. differentialalgebra-5.0/src/bai_odex_integrated_function.h +43 -0
  132. differentialalgebra-5.0/src/bai_params.c +320 -0
  133. differentialalgebra-5.0/src/bai_params.h +39 -0
  134. differentialalgebra-5.0/src/bap.h +6661 -0
  135. differentialalgebra-5.0/src/bap_Ducos_mint_hp.c +867 -0
  136. differentialalgebra-5.0/src/bap_Ducos_mint_hp.h +63 -0
  137. differentialalgebra-5.0/src/bap_Ducos_mpq.c +867 -0
  138. differentialalgebra-5.0/src/bap_Ducos_mpq.h +63 -0
  139. differentialalgebra-5.0/src/bap_Ducos_mpz.c +867 -0
  140. differentialalgebra-5.0/src/bap_Ducos_mpz.h +63 -0
  141. differentialalgebra-5.0/src/bap_Ducos_mpzm.c +867 -0
  142. differentialalgebra-5.0/src/bap_Ducos_mpzm.h +63 -0
  143. differentialalgebra-5.0/src/bap__check_mint_hp.c +50 -0
  144. differentialalgebra-5.0/src/bap__check_mint_hp.h +21 -0
  145. differentialalgebra-5.0/src/bap__check_mpq.c +50 -0
  146. differentialalgebra-5.0/src/bap__check_mpq.h +21 -0
  147. differentialalgebra-5.0/src/bap__check_mpz.c +50 -0
  148. differentialalgebra-5.0/src/bap__check_mpz.h +21 -0
  149. differentialalgebra-5.0/src/bap__check_mpzm.c +50 -0
  150. differentialalgebra-5.0/src/bap__check_mpzm.h +21 -0
  151. differentialalgebra-5.0/src/bap_add_polynom_mint_hp.c +805 -0
  152. differentialalgebra-5.0/src/bap_add_polynom_mint_hp.h +54 -0
  153. differentialalgebra-5.0/src/bap_add_polynom_mpq.c +805 -0
  154. differentialalgebra-5.0/src/bap_add_polynom_mpq.h +54 -0
  155. differentialalgebra-5.0/src/bap_add_polynom_mpz.c +805 -0
  156. differentialalgebra-5.0/src/bap_add_polynom_mpz.h +54 -0
  157. differentialalgebra-5.0/src/bap_add_polynom_mpzm.c +805 -0
  158. differentialalgebra-5.0/src/bap_add_polynom_mpzm.h +54 -0
  159. differentialalgebra-5.0/src/bap_clot_mint_hp.c +1306 -0
  160. differentialalgebra-5.0/src/bap_clot_mint_hp.h +228 -0
  161. differentialalgebra-5.0/src/bap_clot_mpq.c +1306 -0
  162. differentialalgebra-5.0/src/bap_clot_mpq.h +228 -0
  163. differentialalgebra-5.0/src/bap_clot_mpz.c +1306 -0
  164. differentialalgebra-5.0/src/bap_clot_mpz.h +228 -0
  165. differentialalgebra-5.0/src/bap_clot_mpzm.c +1306 -0
  166. differentialalgebra-5.0/src/bap_clot_mpzm.h +228 -0
  167. differentialalgebra-5.0/src/bap_common.c +158 -0
  168. differentialalgebra-5.0/src/bap_common.h +106 -0
  169. differentialalgebra-5.0/src/bap_creator_mint_hp.c +216 -0
  170. differentialalgebra-5.0/src/bap_creator_mint_hp.h +83 -0
  171. differentialalgebra-5.0/src/bap_creator_mpq.c +216 -0
  172. differentialalgebra-5.0/src/bap_creator_mpq.h +83 -0
  173. differentialalgebra-5.0/src/bap_creator_mpz.c +216 -0
  174. differentialalgebra-5.0/src/bap_creator_mpz.h +83 -0
  175. differentialalgebra-5.0/src/bap_creator_mpzm.c +216 -0
  176. differentialalgebra-5.0/src/bap_creator_mpzm.h +83 -0
  177. differentialalgebra-5.0/src/bap_diff_polynom_mint_hp.c +437 -0
  178. differentialalgebra-5.0/src/bap_diff_polynom_mint_hp.h +43 -0
  179. differentialalgebra-5.0/src/bap_diff_polynom_mpq.c +437 -0
  180. differentialalgebra-5.0/src/bap_diff_polynom_mpq.h +43 -0
  181. differentialalgebra-5.0/src/bap_diff_polynom_mpz.c +437 -0
  182. differentialalgebra-5.0/src/bap_diff_polynom_mpz.h +43 -0
  183. differentialalgebra-5.0/src/bap_diff_polynom_mpzm.c +437 -0
  184. differentialalgebra-5.0/src/bap_diff_polynom_mpzm.h +43 -0
  185. differentialalgebra-5.0/src/bap_eval_polynom_mint_hp.c +366 -0
  186. differentialalgebra-5.0/src/bap_eval_polynom_mint_hp.h +47 -0
  187. differentialalgebra-5.0/src/bap_eval_polynom_mpq.c +366 -0
  188. differentialalgebra-5.0/src/bap_eval_polynom_mpq.h +47 -0
  189. differentialalgebra-5.0/src/bap_eval_polynom_mpz.c +366 -0
  190. differentialalgebra-5.0/src/bap_eval_polynom_mpz.h +47 -0
  191. differentialalgebra-5.0/src/bap_eval_polynom_mpzm.c +366 -0
  192. differentialalgebra-5.0/src/bap_eval_polynom_mpzm.h +47 -0
  193. differentialalgebra-5.0/src/bap_geobucket_mint_hp.c +365 -0
  194. differentialalgebra-5.0/src/bap_geobucket_mint_hp.h +63 -0
  195. differentialalgebra-5.0/src/bap_geobucket_mpq.c +365 -0
  196. differentialalgebra-5.0/src/bap_geobucket_mpq.h +63 -0
  197. differentialalgebra-5.0/src/bap_geobucket_mpz.c +365 -0
  198. differentialalgebra-5.0/src/bap_geobucket_mpz.h +63 -0
  199. differentialalgebra-5.0/src/bap_geobucket_mpzm.c +365 -0
  200. differentialalgebra-5.0/src/bap_geobucket_mpzm.h +63 -0
  201. differentialalgebra-5.0/src/bap_indexed_access.c +129 -0
  202. differentialalgebra-5.0/src/bap_indexed_access.h +41 -0
  203. differentialalgebra-5.0/src/bap_invert_mint_hp.c +263 -0
  204. differentialalgebra-5.0/src/bap_invert_mint_hp.h +36 -0
  205. differentialalgebra-5.0/src/bap_invert_mpq.c +263 -0
  206. differentialalgebra-5.0/src/bap_invert_mpq.h +36 -0
  207. differentialalgebra-5.0/src/bap_invert_mpzm.c +263 -0
  208. differentialalgebra-5.0/src/bap_invert_mpzm.h +36 -0
  209. differentialalgebra-5.0/src/bap_iterator_indexed_access.c +271 -0
  210. differentialalgebra-5.0/src/bap_iterator_indexed_access.h +84 -0
  211. differentialalgebra-5.0/src/bap_itercoeff_mint_hp.c +464 -0
  212. differentialalgebra-5.0/src/bap_itercoeff_mint_hp.h +80 -0
  213. differentialalgebra-5.0/src/bap_itercoeff_mpq.c +464 -0
  214. differentialalgebra-5.0/src/bap_itercoeff_mpq.h +80 -0
  215. differentialalgebra-5.0/src/bap_itercoeff_mpz.c +464 -0
  216. differentialalgebra-5.0/src/bap_itercoeff_mpz.h +80 -0
  217. differentialalgebra-5.0/src/bap_itercoeff_mpzm.c +464 -0
  218. differentialalgebra-5.0/src/bap_itercoeff_mpzm.h +80 -0
  219. differentialalgebra-5.0/src/bap_itermon_mint_hp.c +581 -0
  220. differentialalgebra-5.0/src/bap_itermon_mint_hp.h +89 -0
  221. differentialalgebra-5.0/src/bap_itermon_mpq.c +581 -0
  222. differentialalgebra-5.0/src/bap_itermon_mpq.h +89 -0
  223. differentialalgebra-5.0/src/bap_itermon_mpz.c +581 -0
  224. differentialalgebra-5.0/src/bap_itermon_mpz.h +89 -0
  225. differentialalgebra-5.0/src/bap_itermon_mpzm.c +581 -0
  226. differentialalgebra-5.0/src/bap_itermon_mpzm.h +89 -0
  227. differentialalgebra-5.0/src/bap_mesgerr.h +19 -0
  228. differentialalgebra-5.0/src/bap_mul_polynom_mint_hp.c +820 -0
  229. differentialalgebra-5.0/src/bap_mul_polynom_mint_hp.h +54 -0
  230. differentialalgebra-5.0/src/bap_mul_polynom_mpq.c +820 -0
  231. differentialalgebra-5.0/src/bap_mul_polynom_mpq.h +54 -0
  232. differentialalgebra-5.0/src/bap_mul_polynom_mpz.c +820 -0
  233. differentialalgebra-5.0/src/bap_mul_polynom_mpz.h +54 -0
  234. differentialalgebra-5.0/src/bap_mul_polynom_mpzm.c +820 -0
  235. differentialalgebra-5.0/src/bap_mul_polynom_mpzm.h +54 -0
  236. differentialalgebra-5.0/src/bap_parse_polynom_mint_hp.c +632 -0
  237. differentialalgebra-5.0/src/bap_parse_polynom_mint_hp.h +36 -0
  238. differentialalgebra-5.0/src/bap_parse_polynom_mpq.c +632 -0
  239. differentialalgebra-5.0/src/bap_parse_polynom_mpq.h +36 -0
  240. differentialalgebra-5.0/src/bap_parse_polynom_mpz.c +632 -0
  241. differentialalgebra-5.0/src/bap_parse_polynom_mpz.h +36 -0
  242. differentialalgebra-5.0/src/bap_parse_polynom_mpzm.c +632 -0
  243. differentialalgebra-5.0/src/bap_parse_polynom_mpzm.h +36 -0
  244. differentialalgebra-5.0/src/bap_polynom_mint_hp.c +2673 -0
  245. differentialalgebra-5.0/src/bap_polynom_mint_hp.h +345 -0
  246. differentialalgebra-5.0/src/bap_polynom_mpq.c +2673 -0
  247. differentialalgebra-5.0/src/bap_polynom_mpq.h +345 -0
  248. differentialalgebra-5.0/src/bap_polynom_mpz.c +2673 -0
  249. differentialalgebra-5.0/src/bap_polynom_mpz.h +345 -0
  250. differentialalgebra-5.0/src/bap_polynom_mpzm.c +2673 -0
  251. differentialalgebra-5.0/src/bap_polynom_mpzm.h +345 -0
  252. differentialalgebra-5.0/src/bap_polyspec_mint_hp.c +400 -0
  253. differentialalgebra-5.0/src/bap_polyspec_mint_hp.h +35 -0
  254. differentialalgebra-5.0/src/bap_polyspec_mpq.c +206 -0
  255. differentialalgebra-5.0/src/bap_polyspec_mpq.h +38 -0
  256. differentialalgebra-5.0/src/bap_polyspec_mpz.c +455 -0
  257. differentialalgebra-5.0/src/bap_polyspec_mpz.h +67 -0
  258. differentialalgebra-5.0/src/bap_polyspec_mpzm.c +1243 -0
  259. differentialalgebra-5.0/src/bap_polyspec_mpzm.h +73 -0
  260. differentialalgebra-5.0/src/bap_prem_polynom_mint_hp.c +1247 -0
  261. differentialalgebra-5.0/src/bap_prem_polynom_mint_hp.h +78 -0
  262. differentialalgebra-5.0/src/bap_prem_polynom_mpq.c +1247 -0
  263. differentialalgebra-5.0/src/bap_prem_polynom_mpq.h +78 -0
  264. differentialalgebra-5.0/src/bap_prem_polynom_mpz.c +1247 -0
  265. differentialalgebra-5.0/src/bap_prem_polynom_mpz.h +78 -0
  266. differentialalgebra-5.0/src/bap_prem_polynom_mpzm.c +1247 -0
  267. differentialalgebra-5.0/src/bap_prem_polynom_mpzm.h +78 -0
  268. differentialalgebra-5.0/src/bap_product_mint_hp.c +1183 -0
  269. differentialalgebra-5.0/src/bap_product_mint_hp.h +186 -0
  270. differentialalgebra-5.0/src/bap_product_mpq.c +1183 -0
  271. differentialalgebra-5.0/src/bap_product_mpq.h +186 -0
  272. differentialalgebra-5.0/src/bap_product_mpz.c +1183 -0
  273. differentialalgebra-5.0/src/bap_product_mpz.h +186 -0
  274. differentialalgebra-5.0/src/bap_product_mpzm.c +1183 -0
  275. differentialalgebra-5.0/src/bap_product_mpzm.h +186 -0
  276. differentialalgebra-5.0/src/bap_sequential_access.h +23 -0
  277. differentialalgebra-5.0/src/bap_termanager.c +479 -0
  278. differentialalgebra-5.0/src/bap_termanager.h +109 -0
  279. differentialalgebra-5.0/src/bap_termstripper.c +169 -0
  280. differentialalgebra-5.0/src/bap_termstripper.h +78 -0
  281. differentialalgebra-5.0/src/bas.h +1137 -0
  282. differentialalgebra-5.0/src/bas_DL_edge.c +166 -0
  283. differentialalgebra-5.0/src/bas_DL_edge.h +92 -0
  284. differentialalgebra-5.0/src/bas_DL_tree.c +468 -0
  285. differentialalgebra-5.0/src/bas_DL_tree.h +123 -0
  286. differentialalgebra-5.0/src/bas_DL_vertex.c +175 -0
  287. differentialalgebra-5.0/src/bas_DL_vertex.h +106 -0
  288. differentialalgebra-5.0/src/bas_DLuple.c +633 -0
  289. differentialalgebra-5.0/src/bas_DLuple.h +90 -0
  290. differentialalgebra-5.0/src/bas_Denef_Lipshitz.c +613 -0
  291. differentialalgebra-5.0/src/bas_Denef_Lipshitz.h +52 -0
  292. differentialalgebra-5.0/src/bas_Hurwitz.c +76 -0
  293. differentialalgebra-5.0/src/bas_Hurwitz.h +16 -0
  294. differentialalgebra-5.0/src/bas_Yuple.c +412 -0
  295. differentialalgebra-5.0/src/bas_Yuple.h +165 -0
  296. differentialalgebra-5.0/src/bas_Zuple.c +1664 -0
  297. differentialalgebra-5.0/src/bas_Zuple.h +305 -0
  298. differentialalgebra-5.0/src/bas_beta.c +315 -0
  299. differentialalgebra-5.0/src/bas_beta.h +102 -0
  300. differentialalgebra-5.0/src/bas_common.c +92 -0
  301. differentialalgebra-5.0/src/bas_common.h +58 -0
  302. differentialalgebra-5.0/src/bas_mesgerr.c +5 -0
  303. differentialalgebra-5.0/src/bas_mesgerr.h +13 -0
  304. differentialalgebra-5.0/src/bas_positive_integer_roots.c +255 -0
  305. differentialalgebra-5.0/src/bas_positive_integer_roots.h +15 -0
  306. differentialalgebra-5.0/src/bav.h +2146 -0
  307. differentialalgebra-5.0/src/bav_block.c +206 -0
  308. differentialalgebra-5.0/src/bav_block.h +74 -0
  309. differentialalgebra-5.0/src/bav_common.c +200 -0
  310. differentialalgebra-5.0/src/bav_common.h +127 -0
  311. differentialalgebra-5.0/src/bav_dictionary_symbol.c +97 -0
  312. differentialalgebra-5.0/src/bav_dictionary_symbol.h +58 -0
  313. differentialalgebra-5.0/src/bav_dictionary_variable.c +97 -0
  314. differentialalgebra-5.0/src/bav_dictionary_variable.h +58 -0
  315. differentialalgebra-5.0/src/bav_differential_ring.c +1693 -0
  316. differentialalgebra-5.0/src/bav_differential_ring.h +201 -0
  317. differentialalgebra-5.0/src/bav_global.c +34 -0
  318. differentialalgebra-5.0/src/bav_global.h +137 -0
  319. differentialalgebra-5.0/src/bav_mesgerr.c +18 -0
  320. differentialalgebra-5.0/src/bav_mesgerr.h +41 -0
  321. differentialalgebra-5.0/src/bav_operator.h +11 -0
  322. differentialalgebra-5.0/src/bav_ordering.c +1023 -0
  323. differentialalgebra-5.0/src/bav_ordering.h +210 -0
  324. differentialalgebra-5.0/src/bav_parameter.c +434 -0
  325. differentialalgebra-5.0/src/bav_parameter.h +109 -0
  326. differentialalgebra-5.0/src/bav_parameters.c +211 -0
  327. differentialalgebra-5.0/src/bav_parameters.h +49 -0
  328. differentialalgebra-5.0/src/bav_point.c +55 -0
  329. differentialalgebra-5.0/src/bav_point.h +16 -0
  330. differentialalgebra-5.0/src/bav_point_int_p.h +43 -0
  331. differentialalgebra-5.0/src/bav_point_interval_mpq.c +285 -0
  332. differentialalgebra-5.0/src/bav_point_interval_mpq.h +111 -0
  333. differentialalgebra-5.0/src/bav_rank.c +375 -0
  334. differentialalgebra-5.0/src/bav_rank.h +91 -0
  335. differentialalgebra-5.0/src/bav_subranking.c +463 -0
  336. differentialalgebra-5.0/src/bav_subranking.h +93 -0
  337. differentialalgebra-5.0/src/bav_symbol.c +391 -0
  338. differentialalgebra-5.0/src/bav_symbol.h +143 -0
  339. differentialalgebra-5.0/src/bav_term.c +1324 -0
  340. differentialalgebra-5.0/src/bav_term.h +222 -0
  341. differentialalgebra-5.0/src/bav_term_ordering.c +248 -0
  342. differentialalgebra-5.0/src/bav_term_ordering.h +21 -0
  343. differentialalgebra-5.0/src/bav_typed_ident.c +261 -0
  344. differentialalgebra-5.0/src/bav_typed_ident.h +99 -0
  345. differentialalgebra-5.0/src/bav_variable.c +2183 -0
  346. differentialalgebra-5.0/src/bav_variable.h +232 -0
  347. differentialalgebra-5.0/src/baz.h +933 -0
  348. differentialalgebra-5.0/src/baz_collect_terms_ratfrac.c +202 -0
  349. differentialalgebra-5.0/src/baz_collect_terms_ratfrac.h +15 -0
  350. differentialalgebra-5.0/src/baz_common.c +92 -0
  351. differentialalgebra-5.0/src/baz_common.h +48 -0
  352. differentialalgebra-5.0/src/baz_eval_polyspec_mpz.c +139 -0
  353. differentialalgebra-5.0/src/baz_eval_polyspec_mpz.h +15 -0
  354. differentialalgebra-5.0/src/baz_eval_ratfrac.c +135 -0
  355. differentialalgebra-5.0/src/baz_eval_ratfrac.h +30 -0
  356. differentialalgebra-5.0/src/baz_factor_polynom_mpq.c +38 -0
  357. differentialalgebra-5.0/src/baz_factor_polynom_mpq.h +13 -0
  358. differentialalgebra-5.0/src/baz_factor_polynom_mpz.c +1201 -0
  359. differentialalgebra-5.0/src/baz_factor_polynom_mpz.h +13 -0
  360. differentialalgebra-5.0/src/baz_gcd_polynom_mpz.c +3047 -0
  361. differentialalgebra-5.0/src/baz_gcd_polynom_mpz.h +90 -0
  362. differentialalgebra-5.0/src/baz_global.c +8 -0
  363. differentialalgebra-5.0/src/baz_global.h +23 -0
  364. differentialalgebra-5.0/src/baz_mesgerr.h +21 -0
  365. differentialalgebra-5.0/src/baz_point_ratfrac.c +260 -0
  366. differentialalgebra-5.0/src/baz_point_ratfrac.h +77 -0
  367. differentialalgebra-5.0/src/baz_polyspec_mpz.c +1286 -0
  368. differentialalgebra-5.0/src/baz_polyspec_mpz.h +92 -0
  369. differentialalgebra-5.0/src/baz_prolongation_pattern.c +414 -0
  370. differentialalgebra-5.0/src/baz_prolongation_pattern.h +77 -0
  371. differentialalgebra-5.0/src/baz_prospec_mpz.c +226 -0
  372. differentialalgebra-5.0/src/baz_prospec_mpz.h +20 -0
  373. differentialalgebra-5.0/src/baz_rat_bilge_mpz.c +624 -0
  374. differentialalgebra-5.0/src/baz_rat_bilge_mpz.h +15 -0
  375. differentialalgebra-5.0/src/baz_ratfrac.c +1821 -0
  376. differentialalgebra-5.0/src/baz_ratfrac.h +275 -0
  377. differentialalgebra-5.0/src/baz_realroot_mpq.c +763 -0
  378. differentialalgebra-5.0/src/baz_realroot_mpq.h +38 -0
  379. differentialalgebra-5.0/src/baz_rel_ratfrac.c +268 -0
  380. differentialalgebra-5.0/src/baz_rel_ratfrac.h +71 -0
  381. differentialalgebra-5.0/src/blad.h +18713 -0
  382. differentialalgebra-5.0/src/bmi.h +692 -0
  383. differentialalgebra-5.0/src/bmi_Denef_Lipshitz.c +152 -0
  384. differentialalgebra-5.0/src/bmi_Denef_Lipshitz.h +13 -0
  385. differentialalgebra-5.0/src/bmi_Denef_Lipshitz_constraints.c +78 -0
  386. differentialalgebra-5.0/src/bmi_Denef_Lipshitz_constraints.h +13 -0
  387. differentialalgebra-5.0/src/bmi_Denef_Lipshitz_leading_polynomial.c +100 -0
  388. differentialalgebra-5.0/src/bmi_Denef_Lipshitz_leading_polynomial.h +13 -0
  389. differentialalgebra-5.0/src/bmi_Denef_Lipshitz_series.c +106 -0
  390. differentialalgebra-5.0/src/bmi_Denef_Lipshitz_series.h +13 -0
  391. differentialalgebra-5.0/src/bmi_Rosenfeld_Groebner.c +238 -0
  392. differentialalgebra-5.0/src/bmi_Rosenfeld_Groebner.h +13 -0
  393. differentialalgebra-5.0/src/bmi_all_derivatives.c +153 -0
  394. differentialalgebra-5.0/src/bmi_all_derivatives.h +14 -0
  395. differentialalgebra-5.0/src/bmi_attributes.c +38 -0
  396. differentialalgebra-5.0/src/bmi_attributes.h +13 -0
  397. differentialalgebra-5.0/src/bmi_balsa.c +759 -0
  398. differentialalgebra-5.0/src/bmi_balsa.h +247 -0
  399. differentialalgebra-5.0/src/bmi_base_field_generators.c +76 -0
  400. differentialalgebra-5.0/src/bmi_base_field_generators.h +13 -0
  401. differentialalgebra-5.0/src/bmi_belongs_to.c +65 -0
  402. differentialalgebra-5.0/src/bmi_belongs_to.h +13 -0
  403. differentialalgebra-5.0/src/bmi_blad_eval.c +354 -0
  404. differentialalgebra-5.0/src/bmi_blad_eval.h +17 -0
  405. differentialalgebra-5.0/src/bmi_callback.c +340 -0
  406. differentialalgebra-5.0/src/bmi_callback.h +85 -0
  407. differentialalgebra-5.0/src/bmi_coeffs.c +408 -0
  408. differentialalgebra-5.0/src/bmi_coeffs.h +14 -0
  409. differentialalgebra-5.0/src/bmi_common.h +40 -0
  410. differentialalgebra-5.0/src/bmi_dapyx.c +1049 -0
  411. differentialalgebra-5.0/src/bmi_dapyx.h +445 -0
  412. differentialalgebra-5.0/src/bmi_delta_polynomial.c +72 -0
  413. differentialalgebra-5.0/src/bmi_delta_polynomial.h +13 -0
  414. differentialalgebra-5.0/src/bmi_differential_prem.c +186 -0
  415. differentialalgebra-5.0/src/bmi_differential_prem.h +13 -0
  416. differentialalgebra-5.0/src/bmi_differential_ring.c +59 -0
  417. differentialalgebra-5.0/src/bmi_differential_ring.h +13 -0
  418. differentialalgebra-5.0/src/bmi_differentiate.c +100 -0
  419. differentialalgebra-5.0/src/bmi_differentiate.h +13 -0
  420. differentialalgebra-5.0/src/bmi_equations.c +748 -0
  421. differentialalgebra-5.0/src/bmi_equations.h +19 -0
  422. differentialalgebra-5.0/src/bmi_exported.c +184 -0
  423. differentialalgebra-5.0/src/bmi_exported.h +26 -0
  424. differentialalgebra-5.0/src/bmi_factor_derivative.c +66 -0
  425. differentialalgebra-5.0/src/bmi_factor_derivative.h +13 -0
  426. differentialalgebra-5.0/src/bmi_field_element.c +81 -0
  427. differentialalgebra-5.0/src/bmi_field_element.h +13 -0
  428. differentialalgebra-5.0/src/bmi_frozen_symbols.c +101 -0
  429. differentialalgebra-5.0/src/bmi_frozen_symbols.h +18 -0
  430. differentialalgebra-5.0/src/bmi_gmp.c +385 -0
  431. differentialalgebra-5.0/src/bmi_gmp.h +41 -0
  432. differentialalgebra-5.0/src/bmi_indets.c +161 -0
  433. differentialalgebra-5.0/src/bmi_indets.h +13 -0
  434. differentialalgebra-5.0/src/bmi_indices.h +105 -0
  435. differentialalgebra-5.0/src/bmi_is_constant.c +87 -0
  436. differentialalgebra-5.0/src/bmi_is_constant.h +13 -0
  437. differentialalgebra-5.0/src/bmi_is_orthonomic.c +49 -0
  438. differentialalgebra-5.0/src/bmi_is_orthonomic.h +13 -0
  439. differentialalgebra-5.0/src/bmi_is_reduced.c +170 -0
  440. differentialalgebra-5.0/src/bmi_is_reduced.h +13 -0
  441. differentialalgebra-5.0/src/bmi_leading_coefficient.c +108 -0
  442. differentialalgebra-5.0/src/bmi_leading_coefficient.h +13 -0
  443. differentialalgebra-5.0/src/bmi_leading_derivative.c +70 -0
  444. differentialalgebra-5.0/src/bmi_leading_derivative.h +13 -0
  445. differentialalgebra-5.0/src/bmi_leading_rank.c +92 -0
  446. differentialalgebra-5.0/src/bmi_leading_rank.h +15 -0
  447. differentialalgebra-5.0/src/bmi_max_rank_element.c +67 -0
  448. differentialalgebra-5.0/src/bmi_max_rank_element.h +13 -0
  449. differentialalgebra-5.0/src/bmi_memory.h +17 -0
  450. differentialalgebra-5.0/src/bmi_mesgerr.c +37 -0
  451. differentialalgebra-5.0/src/bmi_mesgerr.h +38 -0
  452. differentialalgebra-5.0/src/bmi_min_rank_element.c +66 -0
  453. differentialalgebra-5.0/src/bmi_min_rank_element.h +13 -0
  454. differentialalgebra-5.0/src/bmi_normal_form.c +73 -0
  455. differentialalgebra-5.0/src/bmi_normal_form.h +13 -0
  456. differentialalgebra-5.0/src/bmi_normal_form_ext.c +112 -0
  457. differentialalgebra-5.0/src/bmi_normal_form_ext.h +13 -0
  458. differentialalgebra-5.0/src/bmi_number_of_equations.h +13 -0
  459. differentialalgebra-5.0/src/bmi_options.c +220 -0
  460. differentialalgebra-5.0/src/bmi_options.h +64 -0
  461. differentialalgebra-5.0/src/bmi_parameters.c +36 -0
  462. differentialalgebra-5.0/src/bmi_parameters.h +13 -0
  463. differentialalgebra-5.0/src/bmi_pardi.c +132 -0
  464. differentialalgebra-5.0/src/bmi_pardi.h +13 -0
  465. differentialalgebra-5.0/src/bmi_prem.c +121 -0
  466. differentialalgebra-5.0/src/bmi_prem.h +13 -0
  467. differentialalgebra-5.0/src/bmi_preparation_equation.c +274 -0
  468. differentialalgebra-5.0/src/bmi_preparation_equation.h +13 -0
  469. differentialalgebra-5.0/src/bmi_pretend_regchain.c +62 -0
  470. differentialalgebra-5.0/src/bmi_pretend_regchain.h +13 -0
  471. differentialalgebra-5.0/src/bmi_process_equations.c +116 -0
  472. differentialalgebra-5.0/src/bmi_process_equations.h +13 -0
  473. differentialalgebra-5.0/src/bmi_process_expansion_point.c +225 -0
  474. differentialalgebra-5.0/src/bmi_process_expansion_point.h +13 -0
  475. differentialalgebra-5.0/src/bmi_ranking.h +13 -0
  476. differentialalgebra-5.0/src/bmi_rat_bilge.c +151 -0
  477. differentialalgebra-5.0/src/bmi_rat_bilge.h +13 -0
  478. differentialalgebra-5.0/src/bmi_reduced_form.c +113 -0
  479. differentialalgebra-5.0/src/bmi_reduced_form.h +13 -0
  480. differentialalgebra-5.0/src/bmi_resultant.c +109 -0
  481. differentialalgebra-5.0/src/bmi_resultant.h +13 -0
  482. differentialalgebra-5.0/src/bmi_rtable.c +455 -0
  483. differentialalgebra-5.0/src/bmi_rtable.h +63 -0
  484. differentialalgebra-5.0/src/bmi_separant.c +101 -0
  485. differentialalgebra-5.0/src/bmi_separant.h +13 -0
  486. differentialalgebra-5.0/src/bmi_sort_by_rank.c +142 -0
  487. differentialalgebra-5.0/src/bmi_sort_by_rank.h +13 -0
  488. differentialalgebra-5.0/src/bmi_tail.c +109 -0
  489. differentialalgebra-5.0/src/bmi_tail.h +13 -0
  490. differentialalgebra-5.0/src/config.h +88 -0
  491. differentialalgebra-5.0/src/mini-gmp.c +4609 -0
  492. differentialalgebra-5.0/src/mini-gmp.h +311 -0
  493. differentialalgebra-5.0/src/mini-mpq.c +550 -0
  494. differentialalgebra-5.0/src/mini-mpq.h +114 -0
  495. differentialalgebra-5.0/tests/test32.py +31 -0
  496. differentialalgebra-5.0/tests/test37.py +38 -0
  497. differentialalgebra-5.0/tests/test39.py +16 -0
  498. differentialalgebra-5.0/tests/test44.py +18 -0
  499. differentialalgebra-5.0/tests/test45.py +22 -0
  500. differentialalgebra-5.0/tests/test46.py +17 -0
  501. differentialalgebra-5.0/tests/test47.py +18 -0
  502. differentialalgebra-5.0/tests/test52.py +22 -0
  503. differentialalgebra-5.0/tests/test53.py +20 -0
  504. differentialalgebra-5.0/tests/test54.py +25 -0
  505. differentialalgebra-5.0/tests/test55.py +25 -0
  506. differentialalgebra-5.0/tests/test56.py +21 -0
  507. differentialalgebra-5.0/tests/test57.py +19 -0
  508. differentialalgebra-5.0/tests/test58.py +20 -0
  509. differentialalgebra-5.0/tests/test59.py +21 -0
  510. differentialalgebra-5.0/tests/test60.py +21 -0
  511. differentialalgebra-5.0/tests/test61.py +23 -0
  512. differentialalgebra-5.0/tests/test62.py +26 -0
  513. differentialalgebra-5.0/tests/test63.py +23 -0
  514. differentialalgebra-5.0/tests/test64.py +28 -0
  515. differentialalgebra-5.0/tests/test65.py +26 -0
  516. DifferentialAlgebra-4.0/DifferentialAlgebra.egg-info/PKG-INFO +0 -50
  517. DifferentialAlgebra-4.0/DifferentialAlgebra.egg-info/SOURCES.txt +0 -485
  518. DifferentialAlgebra-4.0/PKG-INFO +0 -50
  519. DifferentialAlgebra-4.0/pyproject.toml +0 -29
  520. DifferentialAlgebra-4.0/setup.py +0 -455
  521. DifferentialAlgebra-4.0/src/DifferentialAlgebra.c +0 -45637
  522. DifferentialAlgebra-4.0/src/ba0.h +0 -4146
  523. DifferentialAlgebra-4.0/src/ba0_analex.c +0 -722
  524. DifferentialAlgebra-4.0/src/ba0_analex.h +0 -120
  525. DifferentialAlgebra-4.0/src/ba0_array.c +0 -225
  526. DifferentialAlgebra-4.0/src/ba0_array.h +0 -60
  527. DifferentialAlgebra-4.0/src/ba0_basic_io.c +0 -410
  528. DifferentialAlgebra-4.0/src/ba0_basic_io.h +0 -94
  529. DifferentialAlgebra-4.0/src/ba0_common.c +0 -502
  530. DifferentialAlgebra-4.0/src/ba0_common.h +0 -382
  531. DifferentialAlgebra-4.0/src/ba0_config.h +0 -108
  532. DifferentialAlgebra-4.0/src/ba0_copy.c +0 -165
  533. DifferentialAlgebra-4.0/src/ba0_copy.h +0 -13
  534. DifferentialAlgebra-4.0/src/ba0_double.c +0 -295
  535. DifferentialAlgebra-4.0/src/ba0_double.h +0 -66
  536. DifferentialAlgebra-4.0/src/ba0_exception.h +0 -156
  537. DifferentialAlgebra-4.0/src/ba0_format.c +0 -589
  538. DifferentialAlgebra-4.0/src/ba0_format.h +0 -104
  539. DifferentialAlgebra-4.0/src/ba0_garbage.c +0 -786
  540. DifferentialAlgebra-4.0/src/ba0_garbage.h +0 -55
  541. DifferentialAlgebra-4.0/src/ba0_global.c +0 -17
  542. DifferentialAlgebra-4.0/src/ba0_global.h +0 -330
  543. DifferentialAlgebra-4.0/src/ba0_gmp.c +0 -680
  544. DifferentialAlgebra-4.0/src/ba0_gmp.h +0 -140
  545. DifferentialAlgebra-4.0/src/ba0_indexed.c +0 -611
  546. DifferentialAlgebra-4.0/src/ba0_indexed.h +0 -95
  547. DifferentialAlgebra-4.0/src/ba0_int_p.c +0 -56
  548. DifferentialAlgebra-4.0/src/ba0_int_p.h +0 -72
  549. DifferentialAlgebra-4.0/src/ba0_interval_mpq.c +0 -1645
  550. DifferentialAlgebra-4.0/src/ba0_interval_mpq.h +0 -254
  551. DifferentialAlgebra-4.0/src/ba0_list.c +0 -674
  552. DifferentialAlgebra-4.0/src/ba0_list.h +0 -90
  553. DifferentialAlgebra-4.0/src/ba0_macros_mint_hp.h +0 -71
  554. DifferentialAlgebra-4.0/src/ba0_macros_mpq.h +0 -165
  555. DifferentialAlgebra-4.0/src/ba0_macros_mpz.h +0 -240
  556. DifferentialAlgebra-4.0/src/ba0_macros_mpzm.h +0 -115
  557. DifferentialAlgebra-4.0/src/ba0_matrix.c +0 -408
  558. DifferentialAlgebra-4.0/src/ba0_matrix.h +0 -103
  559. DifferentialAlgebra-4.0/src/ba0_mesgerr.c +0 -40
  560. DifferentialAlgebra-4.0/src/ba0_mesgerr.h +0 -73
  561. DifferentialAlgebra-4.0/src/ba0_mint_hp.h +0 -62
  562. DifferentialAlgebra-4.0/src/ba0_mpzm.c +0 -391
  563. DifferentialAlgebra-4.0/src/ba0_mpzm.h +0 -79
  564. DifferentialAlgebra-4.0/src/ba0_point.c +0 -229
  565. DifferentialAlgebra-4.0/src/ba0_point.h +0 -83
  566. DifferentialAlgebra-4.0/src/ba0_printf.c +0 -433
  567. DifferentialAlgebra-4.0/src/ba0_printf.h +0 -32
  568. DifferentialAlgebra-4.0/src/ba0_scanf.c +0 -806
  569. DifferentialAlgebra-4.0/src/ba0_scanf.h +0 -43
  570. DifferentialAlgebra-4.0/src/ba0_scanf_printf.c +0 -92
  571. DifferentialAlgebra-4.0/src/ba0_scanf_printf.h +0 -14
  572. DifferentialAlgebra-4.0/src/ba0_small_p.h +0 -21
  573. DifferentialAlgebra-4.0/src/ba0_stack.c +0 -1183
  574. DifferentialAlgebra-4.0/src/ba0_stack.h +0 -229
  575. DifferentialAlgebra-4.0/src/ba0_string.c +0 -191
  576. DifferentialAlgebra-4.0/src/ba0_string.h +0 -87
  577. DifferentialAlgebra-4.0/src/ba0_table.c +0 -496
  578. DifferentialAlgebra-4.0/src/ba0_table.h +0 -120
  579. DifferentialAlgebra-4.0/src/bad.h +0 -1923
  580. DifferentialAlgebra-4.0/src/bad_Rosenfeld_Groebner.c +0 -1020
  581. DifferentialAlgebra-4.0/src/bad_Rosenfeld_Groebner.h +0 -43
  582. DifferentialAlgebra-4.0/src/bad_attchain.c +0 -283
  583. DifferentialAlgebra-4.0/src/bad_attchain.h +0 -106
  584. DifferentialAlgebra-4.0/src/bad_base_field.c +0 -805
  585. DifferentialAlgebra-4.0/src/bad_base_field.h +0 -95
  586. DifferentialAlgebra-4.0/src/bad_common.c +0 -152
  587. DifferentialAlgebra-4.0/src/bad_common.h +0 -51
  588. DifferentialAlgebra-4.0/src/bad_critical_pair.c +0 -486
  589. DifferentialAlgebra-4.0/src/bad_critical_pair.h +0 -114
  590. DifferentialAlgebra-4.0/src/bad_global.h +0 -72
  591. DifferentialAlgebra-4.0/src/bad_intersectof_regchain.c +0 -493
  592. DifferentialAlgebra-4.0/src/bad_intersectof_regchain.h +0 -88
  593. DifferentialAlgebra-4.0/src/bad_invert.c +0 -680
  594. DifferentialAlgebra-4.0/src/bad_invert.h +0 -34
  595. DifferentialAlgebra-4.0/src/bad_low_power_theorem.c +0 -900
  596. DifferentialAlgebra-4.0/src/bad_low_power_theorem.h +0 -115
  597. DifferentialAlgebra-4.0/src/bad_mesgerr.c +0 -19
  598. DifferentialAlgebra-4.0/src/bad_mesgerr.h +0 -43
  599. DifferentialAlgebra-4.0/src/bad_pardi.c +0 -449
  600. DifferentialAlgebra-4.0/src/bad_pardi.h +0 -15
  601. DifferentialAlgebra-4.0/src/bad_quadruple.c +0 -1432
  602. DifferentialAlgebra-4.0/src/bad_quadruple.h +0 -186
  603. DifferentialAlgebra-4.0/src/bad_quench_map.c +0 -538
  604. DifferentialAlgebra-4.0/src/bad_quench_regchain.c +0 -551
  605. DifferentialAlgebra-4.0/src/bad_quench_regchain.h +0 -36
  606. DifferentialAlgebra-4.0/src/bad_reduced_form.c +0 -134
  607. DifferentialAlgebra-4.0/src/bad_reduced_form.h +0 -23
  608. DifferentialAlgebra-4.0/src/bad_reduction.c +0 -2347
  609. DifferentialAlgebra-4.0/src/bad_reduction.h +0 -169
  610. DifferentialAlgebra-4.0/src/bad_regchain.c +0 -1242
  611. DifferentialAlgebra-4.0/src/bad_regchain.h +0 -187
  612. DifferentialAlgebra-4.0/src/bad_regularize.c +0 -1713
  613. DifferentialAlgebra-4.0/src/bad_regularize.h +0 -114
  614. DifferentialAlgebra-4.0/src/bad_selection_strategy.c +0 -74
  615. DifferentialAlgebra-4.0/src/bad_selection_strategy.h +0 -60
  616. DifferentialAlgebra-4.0/src/bad_splitting_control.c +0 -148
  617. DifferentialAlgebra-4.0/src/bad_splitting_control.h +0 -81
  618. DifferentialAlgebra-4.0/src/bad_splitting_tree.c +0 -522
  619. DifferentialAlgebra-4.0/src/bad_splitting_tree.h +0 -168
  620. DifferentialAlgebra-4.0/src/bad_stats.c +0 -43
  621. DifferentialAlgebra-4.0/src/bad_stats.h +0 -14
  622. DifferentialAlgebra-4.0/src/bai.h +0 -872
  623. DifferentialAlgebra-4.0/src/bai_common.c +0 -66
  624. DifferentialAlgebra-4.0/src/bai_common.h +0 -56
  625. DifferentialAlgebra-4.0/src/bai_dop853.c +0 -1811
  626. DifferentialAlgebra-4.0/src/bai_dop853.h +0 -522
  627. DifferentialAlgebra-4.0/src/bai_global.h +0 -25
  628. DifferentialAlgebra-4.0/src/bai_mesgerr.h +0 -23
  629. DifferentialAlgebra-4.0/src/bai_odex.c +0 -755
  630. DifferentialAlgebra-4.0/src/bai_odex.h +0 -87
  631. DifferentialAlgebra-4.0/src/bai_odex_function.h +0 -77
  632. DifferentialAlgebra-4.0/src/bai_odex_integrated_function.h +0 -43
  633. DifferentialAlgebra-4.0/src/bai_params.c +0 -316
  634. DifferentialAlgebra-4.0/src/bai_params.h +0 -39
  635. DifferentialAlgebra-4.0/src/bap.h +0 -6762
  636. DifferentialAlgebra-4.0/src/bap_Ducos_mint_hp.c +0 -906
  637. DifferentialAlgebra-4.0/src/bap_Ducos_mint_hp.h +0 -62
  638. DifferentialAlgebra-4.0/src/bap_Ducos_mpq.c +0 -906
  639. DifferentialAlgebra-4.0/src/bap_Ducos_mpq.h +0 -62
  640. DifferentialAlgebra-4.0/src/bap_Ducos_mpz.c +0 -906
  641. DifferentialAlgebra-4.0/src/bap_Ducos_mpz.h +0 -62
  642. DifferentialAlgebra-4.0/src/bap_Ducos_mpzm.c +0 -906
  643. DifferentialAlgebra-4.0/src/bap_Ducos_mpzm.h +0 -62
  644. DifferentialAlgebra-4.0/src/bap__check_mint_hp.c +0 -50
  645. DifferentialAlgebra-4.0/src/bap__check_mint_hp.h +0 -21
  646. DifferentialAlgebra-4.0/src/bap__check_mpq.c +0 -50
  647. DifferentialAlgebra-4.0/src/bap__check_mpq.h +0 -21
  648. DifferentialAlgebra-4.0/src/bap__check_mpz.c +0 -50
  649. DifferentialAlgebra-4.0/src/bap__check_mpz.h +0 -21
  650. DifferentialAlgebra-4.0/src/bap__check_mpzm.c +0 -50
  651. DifferentialAlgebra-4.0/src/bap__check_mpzm.h +0 -21
  652. DifferentialAlgebra-4.0/src/bap_add_polynom_mint_hp.c +0 -811
  653. DifferentialAlgebra-4.0/src/bap_add_polynom_mint_hp.h +0 -54
  654. DifferentialAlgebra-4.0/src/bap_add_polynom_mpq.c +0 -811
  655. DifferentialAlgebra-4.0/src/bap_add_polynom_mpq.h +0 -54
  656. DifferentialAlgebra-4.0/src/bap_add_polynom_mpz.c +0 -811
  657. DifferentialAlgebra-4.0/src/bap_add_polynom_mpz.h +0 -54
  658. DifferentialAlgebra-4.0/src/bap_add_polynom_mpzm.c +0 -811
  659. DifferentialAlgebra-4.0/src/bap_add_polynom_mpzm.h +0 -54
  660. DifferentialAlgebra-4.0/src/bap_clot_mint_hp.c +0 -1295
  661. DifferentialAlgebra-4.0/src/bap_clot_mint_hp.h +0 -244
  662. DifferentialAlgebra-4.0/src/bap_clot_mpq.c +0 -1295
  663. DifferentialAlgebra-4.0/src/bap_clot_mpq.h +0 -244
  664. DifferentialAlgebra-4.0/src/bap_clot_mpz.c +0 -1295
  665. DifferentialAlgebra-4.0/src/bap_clot_mpz.h +0 -244
  666. DifferentialAlgebra-4.0/src/bap_clot_mpzm.c +0 -1295
  667. DifferentialAlgebra-4.0/src/bap_clot_mpzm.h +0 -244
  668. DifferentialAlgebra-4.0/src/bap_common.c +0 -170
  669. DifferentialAlgebra-4.0/src/bap_common.h +0 -106
  670. DifferentialAlgebra-4.0/src/bap_creator_mint_hp.c +0 -215
  671. DifferentialAlgebra-4.0/src/bap_creator_mint_hp.h +0 -86
  672. DifferentialAlgebra-4.0/src/bap_creator_mpq.c +0 -215
  673. DifferentialAlgebra-4.0/src/bap_creator_mpq.h +0 -86
  674. DifferentialAlgebra-4.0/src/bap_creator_mpz.c +0 -215
  675. DifferentialAlgebra-4.0/src/bap_creator_mpz.h +0 -86
  676. DifferentialAlgebra-4.0/src/bap_creator_mpzm.c +0 -215
  677. DifferentialAlgebra-4.0/src/bap_creator_mpzm.h +0 -86
  678. DifferentialAlgebra-4.0/src/bap_diff_polynom_mint_hp.c +0 -499
  679. DifferentialAlgebra-4.0/src/bap_diff_polynom_mint_hp.h +0 -41
  680. DifferentialAlgebra-4.0/src/bap_diff_polynom_mpq.c +0 -499
  681. DifferentialAlgebra-4.0/src/bap_diff_polynom_mpq.h +0 -41
  682. DifferentialAlgebra-4.0/src/bap_diff_polynom_mpz.c +0 -499
  683. DifferentialAlgebra-4.0/src/bap_diff_polynom_mpz.h +0 -41
  684. DifferentialAlgebra-4.0/src/bap_diff_polynom_mpzm.c +0 -499
  685. DifferentialAlgebra-4.0/src/bap_diff_polynom_mpzm.h +0 -41
  686. DifferentialAlgebra-4.0/src/bap_eval_polynom_mint_hp.c +0 -330
  687. DifferentialAlgebra-4.0/src/bap_eval_polynom_mint_hp.h +0 -48
  688. DifferentialAlgebra-4.0/src/bap_eval_polynom_mpq.c +0 -330
  689. DifferentialAlgebra-4.0/src/bap_eval_polynom_mpq.h +0 -48
  690. DifferentialAlgebra-4.0/src/bap_eval_polynom_mpz.c +0 -330
  691. DifferentialAlgebra-4.0/src/bap_eval_polynom_mpz.h +0 -48
  692. DifferentialAlgebra-4.0/src/bap_eval_polynom_mpzm.c +0 -330
  693. DifferentialAlgebra-4.0/src/bap_eval_polynom_mpzm.h +0 -48
  694. DifferentialAlgebra-4.0/src/bap_geobucket_mint_hp.c +0 -362
  695. DifferentialAlgebra-4.0/src/bap_geobucket_mint_hp.h +0 -66
  696. DifferentialAlgebra-4.0/src/bap_geobucket_mpq.c +0 -362
  697. DifferentialAlgebra-4.0/src/bap_geobucket_mpq.h +0 -66
  698. DifferentialAlgebra-4.0/src/bap_geobucket_mpz.c +0 -362
  699. DifferentialAlgebra-4.0/src/bap_geobucket_mpz.h +0 -66
  700. DifferentialAlgebra-4.0/src/bap_geobucket_mpzm.c +0 -362
  701. DifferentialAlgebra-4.0/src/bap_geobucket_mpzm.h +0 -66
  702. DifferentialAlgebra-4.0/src/bap_indexed_access.c +0 -127
  703. DifferentialAlgebra-4.0/src/bap_indexed_access.h +0 -44
  704. DifferentialAlgebra-4.0/src/bap_invert_mint_hp.c +0 -250
  705. DifferentialAlgebra-4.0/src/bap_invert_mint_hp.h +0 -36
  706. DifferentialAlgebra-4.0/src/bap_invert_mpq.c +0 -250
  707. DifferentialAlgebra-4.0/src/bap_invert_mpq.h +0 -36
  708. DifferentialAlgebra-4.0/src/bap_invert_mpzm.c +0 -250
  709. DifferentialAlgebra-4.0/src/bap_invert_mpzm.h +0 -36
  710. DifferentialAlgebra-4.0/src/bap_iterator_indexed_access.c +0 -271
  711. DifferentialAlgebra-4.0/src/bap_iterator_indexed_access.h +0 -90
  712. DifferentialAlgebra-4.0/src/bap_itercoeff_mint_hp.c +0 -382
  713. DifferentialAlgebra-4.0/src/bap_itercoeff_mint_hp.h +0 -75
  714. DifferentialAlgebra-4.0/src/bap_itercoeff_mpq.c +0 -382
  715. DifferentialAlgebra-4.0/src/bap_itercoeff_mpq.h +0 -75
  716. DifferentialAlgebra-4.0/src/bap_itercoeff_mpz.c +0 -382
  717. DifferentialAlgebra-4.0/src/bap_itercoeff_mpz.h +0 -75
  718. DifferentialAlgebra-4.0/src/bap_itercoeff_mpzm.c +0 -382
  719. DifferentialAlgebra-4.0/src/bap_itercoeff_mpzm.h +0 -75
  720. DifferentialAlgebra-4.0/src/bap_itermon_mint_hp.c +0 -581
  721. DifferentialAlgebra-4.0/src/bap_itermon_mint_hp.h +0 -92
  722. DifferentialAlgebra-4.0/src/bap_itermon_mpq.c +0 -581
  723. DifferentialAlgebra-4.0/src/bap_itermon_mpq.h +0 -92
  724. DifferentialAlgebra-4.0/src/bap_itermon_mpz.c +0 -581
  725. DifferentialAlgebra-4.0/src/bap_itermon_mpz.h +0 -92
  726. DifferentialAlgebra-4.0/src/bap_itermon_mpzm.c +0 -581
  727. DifferentialAlgebra-4.0/src/bap_itermon_mpzm.h +0 -92
  728. DifferentialAlgebra-4.0/src/bap_mesgerr.h +0 -19
  729. DifferentialAlgebra-4.0/src/bap_mul_polynom_mint_hp.c +0 -793
  730. DifferentialAlgebra-4.0/src/bap_mul_polynom_mint_hp.h +0 -54
  731. DifferentialAlgebra-4.0/src/bap_mul_polynom_mpq.c +0 -793
  732. DifferentialAlgebra-4.0/src/bap_mul_polynom_mpq.h +0 -54
  733. DifferentialAlgebra-4.0/src/bap_mul_polynom_mpz.c +0 -793
  734. DifferentialAlgebra-4.0/src/bap_mul_polynom_mpz.h +0 -54
  735. DifferentialAlgebra-4.0/src/bap_mul_polynom_mpzm.c +0 -793
  736. DifferentialAlgebra-4.0/src/bap_mul_polynom_mpzm.h +0 -54
  737. DifferentialAlgebra-4.0/src/bap_parse_polynom_mint_hp.c +0 -583
  738. DifferentialAlgebra-4.0/src/bap_parse_polynom_mint_hp.h +0 -35
  739. DifferentialAlgebra-4.0/src/bap_parse_polynom_mpq.c +0 -583
  740. DifferentialAlgebra-4.0/src/bap_parse_polynom_mpq.h +0 -35
  741. DifferentialAlgebra-4.0/src/bap_parse_polynom_mpz.c +0 -583
  742. DifferentialAlgebra-4.0/src/bap_parse_polynom_mpz.h +0 -35
  743. DifferentialAlgebra-4.0/src/bap_parse_polynom_mpzm.c +0 -583
  744. DifferentialAlgebra-4.0/src/bap_parse_polynom_mpzm.h +0 -35
  745. DifferentialAlgebra-4.0/src/bap_polynom_mint_hp.c +0 -2517
  746. DifferentialAlgebra-4.0/src/bap_polynom_mint_hp.h +0 -342
  747. DifferentialAlgebra-4.0/src/bap_polynom_mpq.c +0 -2517
  748. DifferentialAlgebra-4.0/src/bap_polynom_mpq.h +0 -342
  749. DifferentialAlgebra-4.0/src/bap_polynom_mpz.c +0 -2517
  750. DifferentialAlgebra-4.0/src/bap_polynom_mpz.h +0 -342
  751. DifferentialAlgebra-4.0/src/bap_polynom_mpzm.c +0 -2517
  752. DifferentialAlgebra-4.0/src/bap_polynom_mpzm.h +0 -342
  753. DifferentialAlgebra-4.0/src/bap_polyspec_mint_hp.c +0 -412
  754. DifferentialAlgebra-4.0/src/bap_polyspec_mint_hp.h +0 -35
  755. DifferentialAlgebra-4.0/src/bap_polyspec_mpq.c +0 -177
  756. DifferentialAlgebra-4.0/src/bap_polyspec_mpq.h +0 -33
  757. DifferentialAlgebra-4.0/src/bap_polyspec_mpz.c +0 -455
  758. DifferentialAlgebra-4.0/src/bap_polyspec_mpz.h +0 -67
  759. DifferentialAlgebra-4.0/src/bap_polyspec_mpzm.c +0 -1232
  760. DifferentialAlgebra-4.0/src/bap_polyspec_mpzm.h +0 -73
  761. DifferentialAlgebra-4.0/src/bap_prem_polynom_mint_hp.c +0 -1214
  762. DifferentialAlgebra-4.0/src/bap_prem_polynom_mint_hp.h +0 -78
  763. DifferentialAlgebra-4.0/src/bap_prem_polynom_mpq.c +0 -1214
  764. DifferentialAlgebra-4.0/src/bap_prem_polynom_mpq.h +0 -78
  765. DifferentialAlgebra-4.0/src/bap_prem_polynom_mpz.c +0 -1214
  766. DifferentialAlgebra-4.0/src/bap_prem_polynom_mpz.h +0 -78
  767. DifferentialAlgebra-4.0/src/bap_prem_polynom_mpzm.c +0 -1214
  768. DifferentialAlgebra-4.0/src/bap_prem_polynom_mpzm.h +0 -78
  769. DifferentialAlgebra-4.0/src/bap_product_mint_hp.c +0 -1134
  770. DifferentialAlgebra-4.0/src/bap_product_mint_hp.h +0 -194
  771. DifferentialAlgebra-4.0/src/bap_product_mpq.c +0 -1134
  772. DifferentialAlgebra-4.0/src/bap_product_mpq.h +0 -194
  773. DifferentialAlgebra-4.0/src/bap_product_mpz.c +0 -1134
  774. DifferentialAlgebra-4.0/src/bap_product_mpz.h +0 -194
  775. DifferentialAlgebra-4.0/src/bap_product_mpzm.c +0 -1134
  776. DifferentialAlgebra-4.0/src/bap_product_mpzm.h +0 -194
  777. DifferentialAlgebra-4.0/src/bap_sequential_access.h +0 -26
  778. DifferentialAlgebra-4.0/src/bap_termanager.c +0 -479
  779. DifferentialAlgebra-4.0/src/bap_termanager.h +0 -112
  780. DifferentialAlgebra-4.0/src/bap_termstripper.c +0 -169
  781. DifferentialAlgebra-4.0/src/bap_termstripper.h +0 -81
  782. DifferentialAlgebra-4.0/src/bav.h +0 -1536
  783. DifferentialAlgebra-4.0/src/bav_block.c +0 -122
  784. DifferentialAlgebra-4.0/src/bav_block.h +0 -63
  785. DifferentialAlgebra-4.0/src/bav_common.c +0 -172
  786. DifferentialAlgebra-4.0/src/bav_common.h +0 -119
  787. DifferentialAlgebra-4.0/src/bav_differential_ring.c +0 -1260
  788. DifferentialAlgebra-4.0/src/bav_differential_ring.h +0 -156
  789. DifferentialAlgebra-4.0/src/bav_global.c +0 -14
  790. DifferentialAlgebra-4.0/src/bav_global.h +0 -108
  791. DifferentialAlgebra-4.0/src/bav_mesgerr.c +0 -16
  792. DifferentialAlgebra-4.0/src/bav_mesgerr.h +0 -37
  793. DifferentialAlgebra-4.0/src/bav_operator.h +0 -11
  794. DifferentialAlgebra-4.0/src/bav_ordering.c +0 -351
  795. DifferentialAlgebra-4.0/src/bav_ordering.h +0 -67
  796. DifferentialAlgebra-4.0/src/bav_parameter.c +0 -368
  797. DifferentialAlgebra-4.0/src/bav_parameter.h +0 -108
  798. DifferentialAlgebra-4.0/src/bav_point_int_p.c +0 -33
  799. DifferentialAlgebra-4.0/src/bav_point_int_p.h +0 -51
  800. DifferentialAlgebra-4.0/src/bav_point_interval_mpq.c +0 -283
  801. DifferentialAlgebra-4.0/src/bav_point_interval_mpq.h +0 -118
  802. DifferentialAlgebra-4.0/src/bav_rank.c +0 -374
  803. DifferentialAlgebra-4.0/src/bav_rank.h +0 -96
  804. DifferentialAlgebra-4.0/src/bav_subranking.c +0 -224
  805. DifferentialAlgebra-4.0/src/bav_subranking.h +0 -37
  806. DifferentialAlgebra-4.0/src/bav_symbol.c +0 -229
  807. DifferentialAlgebra-4.0/src/bav_symbol.h +0 -96
  808. DifferentialAlgebra-4.0/src/bav_term.c +0 -1195
  809. DifferentialAlgebra-4.0/src/bav_term.h +0 -220
  810. DifferentialAlgebra-4.0/src/bav_term_ordering.c +0 -248
  811. DifferentialAlgebra-4.0/src/bav_term_ordering.h +0 -21
  812. DifferentialAlgebra-4.0/src/bav_variable.c +0 -2229
  813. DifferentialAlgebra-4.0/src/bav_variable.h +0 -228
  814. DifferentialAlgebra-4.0/src/baz.h +0 -675
  815. DifferentialAlgebra-4.0/src/baz_collect_terms_ratfrac.c +0 -205
  816. DifferentialAlgebra-4.0/src/baz_collect_terms_ratfrac.h +0 -15
  817. DifferentialAlgebra-4.0/src/baz_common.c +0 -89
  818. DifferentialAlgebra-4.0/src/baz_common.h +0 -48
  819. DifferentialAlgebra-4.0/src/baz_eval_polyspec_mpz.c +0 -44
  820. DifferentialAlgebra-4.0/src/baz_eval_polyspec_mpz.h +0 -14
  821. DifferentialAlgebra-4.0/src/baz_factor_polynom_mpz.c +0 -1193
  822. DifferentialAlgebra-4.0/src/baz_factor_polynom_mpz.h +0 -13
  823. DifferentialAlgebra-4.0/src/baz_gcd_polynom_mpz.c +0 -3012
  824. DifferentialAlgebra-4.0/src/baz_gcd_polynom_mpz.h +0 -100
  825. DifferentialAlgebra-4.0/src/baz_mesgerr.h +0 -21
  826. DifferentialAlgebra-4.0/src/baz_polyspec_mpz.c +0 -1285
  827. DifferentialAlgebra-4.0/src/baz_polyspec_mpz.h +0 -95
  828. DifferentialAlgebra-4.0/src/baz_prospec_mpz.c +0 -224
  829. DifferentialAlgebra-4.0/src/baz_prospec_mpz.h +0 -20
  830. DifferentialAlgebra-4.0/src/baz_rat_bilge_mpz.c +0 -624
  831. DifferentialAlgebra-4.0/src/baz_rat_bilge_mpz.h +0 -16
  832. DifferentialAlgebra-4.0/src/baz_ratfrac.c +0 -1558
  833. DifferentialAlgebra-4.0/src/baz_ratfrac.h +0 -243
  834. DifferentialAlgebra-4.0/src/baz_rel_ratfrac.c +0 -268
  835. DifferentialAlgebra-4.0/src/baz_rel_ratfrac.h +0 -77
  836. DifferentialAlgebra-4.0/src/blad.h +0 -15914
  837. DifferentialAlgebra-4.0/src/bmi.h +0 -563
  838. DifferentialAlgebra-4.0/src/bmi_Rosenfeld_Groebner.c +0 -251
  839. DifferentialAlgebra-4.0/src/bmi_Rosenfeld_Groebner.h +0 -13
  840. DifferentialAlgebra-4.0/src/bmi_all_derivatives.c +0 -156
  841. DifferentialAlgebra-4.0/src/bmi_all_derivatives.h +0 -14
  842. DifferentialAlgebra-4.0/src/bmi_attributes.c +0 -38
  843. DifferentialAlgebra-4.0/src/bmi_attributes.h +0 -13
  844. DifferentialAlgebra-4.0/src/bmi_balsa.c +0 -747
  845. DifferentialAlgebra-4.0/src/bmi_balsa.h +0 -245
  846. DifferentialAlgebra-4.0/src/bmi_base_field_generators.c +0 -196
  847. DifferentialAlgebra-4.0/src/bmi_base_field_generators.h +0 -20
  848. DifferentialAlgebra-4.0/src/bmi_belongs_to.c +0 -64
  849. DifferentialAlgebra-4.0/src/bmi_belongs_to.h +0 -13
  850. DifferentialAlgebra-4.0/src/bmi_blad_eval.c +0 -341
  851. DifferentialAlgebra-4.0/src/bmi_blad_eval.h +0 -17
  852. DifferentialAlgebra-4.0/src/bmi_callback.c +0 -346
  853. DifferentialAlgebra-4.0/src/bmi_callback.h +0 -85
  854. DifferentialAlgebra-4.0/src/bmi_coeffs.c +0 -411
  855. DifferentialAlgebra-4.0/src/bmi_coeffs.h +0 -14
  856. DifferentialAlgebra-4.0/src/bmi_common.h +0 -40
  857. DifferentialAlgebra-4.0/src/bmi_dapyx.c +0 -876
  858. DifferentialAlgebra-4.0/src/bmi_dapyx.h +0 -318
  859. DifferentialAlgebra-4.0/src/bmi_delta_polynomial.c +0 -76
  860. DifferentialAlgebra-4.0/src/bmi_delta_polynomial.h +0 -13
  861. DifferentialAlgebra-4.0/src/bmi_differential_prem.c +0 -190
  862. DifferentialAlgebra-4.0/src/bmi_differential_prem.h +0 -13
  863. DifferentialAlgebra-4.0/src/bmi_differential_ring.c +0 -87
  864. DifferentialAlgebra-4.0/src/bmi_differential_ring.h +0 -13
  865. DifferentialAlgebra-4.0/src/bmi_differentiate.c +0 -107
  866. DifferentialAlgebra-4.0/src/bmi_differentiate.h +0 -13
  867. DifferentialAlgebra-4.0/src/bmi_equations.c +0 -750
  868. DifferentialAlgebra-4.0/src/bmi_equations.h +0 -19
  869. DifferentialAlgebra-4.0/src/bmi_exported.c +0 -169
  870. DifferentialAlgebra-4.0/src/bmi_exported.h +0 -26
  871. DifferentialAlgebra-4.0/src/bmi_factor_derivative.c +0 -66
  872. DifferentialAlgebra-4.0/src/bmi_factor_derivative.h +0 -13
  873. DifferentialAlgebra-4.0/src/bmi_field_element.c +0 -83
  874. DifferentialAlgebra-4.0/src/bmi_field_element.h +0 -13
  875. DifferentialAlgebra-4.0/src/bmi_frozen_symbols.c +0 -102
  876. DifferentialAlgebra-4.0/src/bmi_frozen_symbols.h +0 -18
  877. DifferentialAlgebra-4.0/src/bmi_gmp.c +0 -396
  878. DifferentialAlgebra-4.0/src/bmi_gmp.h +0 -41
  879. DifferentialAlgebra-4.0/src/bmi_indets.c +0 -162
  880. DifferentialAlgebra-4.0/src/bmi_indets.h +0 -13
  881. DifferentialAlgebra-4.0/src/bmi_indices.h +0 -94
  882. DifferentialAlgebra-4.0/src/bmi_is_constant.c +0 -88
  883. DifferentialAlgebra-4.0/src/bmi_is_constant.h +0 -13
  884. DifferentialAlgebra-4.0/src/bmi_is_orthonomic.c +0 -44
  885. DifferentialAlgebra-4.0/src/bmi_is_orthonomic.h +0 -13
  886. DifferentialAlgebra-4.0/src/bmi_is_reduced.c +0 -168
  887. DifferentialAlgebra-4.0/src/bmi_is_reduced.h +0 -13
  888. DifferentialAlgebra-4.0/src/bmi_leading_coefficient.c +0 -111
  889. DifferentialAlgebra-4.0/src/bmi_leading_coefficient.h +0 -13
  890. DifferentialAlgebra-4.0/src/bmi_leading_derivative.c +0 -73
  891. DifferentialAlgebra-4.0/src/bmi_leading_derivative.h +0 -13
  892. DifferentialAlgebra-4.0/src/bmi_leading_rank.c +0 -95
  893. DifferentialAlgebra-4.0/src/bmi_leading_rank.h +0 -15
  894. DifferentialAlgebra-4.0/src/bmi_max_rank_element.c +0 -67
  895. DifferentialAlgebra-4.0/src/bmi_max_rank_element.h +0 -13
  896. DifferentialAlgebra-4.0/src/bmi_memory.h +0 -17
  897. DifferentialAlgebra-4.0/src/bmi_mesgerr.c +0 -36
  898. DifferentialAlgebra-4.0/src/bmi_mesgerr.h +0 -37
  899. DifferentialAlgebra-4.0/src/bmi_min_rank_element.c +0 -66
  900. DifferentialAlgebra-4.0/src/bmi_min_rank_element.h +0 -13
  901. DifferentialAlgebra-4.0/src/bmi_normal_form.c +0 -73
  902. DifferentialAlgebra-4.0/src/bmi_normal_form.h +0 -13
  903. DifferentialAlgebra-4.0/src/bmi_normal_form_ext.c +0 -112
  904. DifferentialAlgebra-4.0/src/bmi_normal_form_ext.h +0 -13
  905. DifferentialAlgebra-4.0/src/bmi_number_of_equations.h +0 -13
  906. DifferentialAlgebra-4.0/src/bmi_options.c +0 -109
  907. DifferentialAlgebra-4.0/src/bmi_options.h +0 -62
  908. DifferentialAlgebra-4.0/src/bmi_parameters.c +0 -36
  909. DifferentialAlgebra-4.0/src/bmi_parameters.h +0 -13
  910. DifferentialAlgebra-4.0/src/bmi_pardi.c +0 -171
  911. DifferentialAlgebra-4.0/src/bmi_pardi.h +0 -13
  912. DifferentialAlgebra-4.0/src/bmi_preparation_equation.c +0 -275
  913. DifferentialAlgebra-4.0/src/bmi_preparation_equation.h +0 -13
  914. DifferentialAlgebra-4.0/src/bmi_pretend_regchain.c +0 -59
  915. DifferentialAlgebra-4.0/src/bmi_pretend_regchain.h +0 -13
  916. DifferentialAlgebra-4.0/src/bmi_process_equations.c +0 -116
  917. DifferentialAlgebra-4.0/src/bmi_process_equations.h +0 -13
  918. DifferentialAlgebra-4.0/src/bmi_process_expansion_point.c +0 -224
  919. DifferentialAlgebra-4.0/src/bmi_process_expansion_point.h +0 -13
  920. DifferentialAlgebra-4.0/src/bmi_ranking.h +0 -13
  921. DifferentialAlgebra-4.0/src/bmi_rat_bilge.c +0 -148
  922. DifferentialAlgebra-4.0/src/bmi_rat_bilge.h +0 -13
  923. DifferentialAlgebra-4.0/src/bmi_reduced_form.c +0 -113
  924. DifferentialAlgebra-4.0/src/bmi_reduced_form.h +0 -13
  925. DifferentialAlgebra-4.0/src/bmi_rtable.c +0 -402
  926. DifferentialAlgebra-4.0/src/bmi_rtable.h +0 -47
  927. DifferentialAlgebra-4.0/src/bmi_separant.c +0 -104
  928. DifferentialAlgebra-4.0/src/bmi_separant.h +0 -13
  929. DifferentialAlgebra-4.0/src/bmi_sort_by_rank.c +0 -142
  930. DifferentialAlgebra-4.0/src/bmi_sort_by_rank.h +0 -13
  931. DifferentialAlgebra-4.0/src/bmi_tail.c +0 -111
  932. DifferentialAlgebra-4.0/src/bmi_tail.h +0 -13
  933. DifferentialAlgebra-4.0/src/config.h +0 -88
  934. DifferentialAlgebra-4.0/src/mini-gmp.c +0 -4627
  935. DifferentialAlgebra-4.0/src/mini-gmp.h +0 -311
  936. DifferentialAlgebra-4.0/src/mini-mpq.c +0 -556
  937. DifferentialAlgebra-4.0/src/mini-mpq.h +0 -114
  938. DifferentialAlgebra-4.0/tests/test32.py +0 -31
  939. DifferentialAlgebra-4.0/tests/test37.py +0 -38
  940. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/DifferentialAlgebra.egg-info/dependency_links.txt +0 -0
  941. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/DifferentialAlgebra.egg-info/requires.txt +0 -0
  942. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/DifferentialAlgebra.egg-info/top_level.txt +0 -0
  943. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/LICENSE +0 -0
  944. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/MANIFEST.in +0 -0
  945. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/README.md +0 -0
  946. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/setup.cfg +0 -0
  947. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/__init__.py +0 -0
  948. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/ba0_exception.c +0 -0
  949. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/ba0_macros_interval_mpq.h +0 -0
  950. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/ba0_mint_hp.c +0 -0
  951. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/ba0_small_p.c +0 -0
  952. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bad_global.c +0 -0
  953. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bad_quench_map.h +0 -0
  954. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bai_dop853_coeffs.h +0 -0
  955. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bai_global.c +0 -0
  956. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bai_mesgerr.c +0 -0
  957. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bap_mesgerr.c +0 -0
  958. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bav_operator.c +0 -0
  959. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/baz_mesgerr.c +0 -0
  960. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bmi_memory.c +0 -0
  961. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bmi_number_of_equations.c +0 -0
  962. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/src/bmi_ranking.c +0 -0
  963. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test01.py +0 -0
  964. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test02.py +0 -0
  965. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test03.py +0 -0
  966. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test04.py +0 -0
  967. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test05.py +0 -0
  968. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test06.py +0 -0
  969. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test07.py +0 -0
  970. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test08.py +0 -0
  971. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test09.py +0 -0
  972. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test10.py +0 -0
  973. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test11.py +0 -0
  974. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test12.py +0 -0
  975. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test13.py +0 -0
  976. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test14.py +0 -0
  977. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test15.py +0 -0
  978. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test16.py +0 -0
  979. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test17.py +0 -0
  980. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test18.py +0 -0
  981. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test19.py +0 -0
  982. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test20.py +0 -0
  983. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test21.py +0 -0
  984. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test22.py +0 -0
  985. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test23.py +0 -0
  986. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test24.py +0 -0
  987. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test25.py +0 -0
  988. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test26.py +0 -0
  989. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test27.py +0 -0
  990. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test28.py +0 -0
  991. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test29.py +0 -0
  992. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test30.py +0 -0
  993. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test31.py +0 -0
  994. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test33.py +0 -0
  995. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test34.py +0 -0
  996. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test35.py +0 -0
  997. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test36.py +0 -0
  998. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test38.py +0 -0
  999. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test40.py +0 -0
  1000. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test41.py +0 -0
  1001. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test42.py +0 -0
  1002. {DifferentialAlgebra-4.0 → differentialalgebra-5.0}/tests/test43.py +0 -0
differentialalgebra-5.0/DifferentialAlgebra.egg-info/PKG-INFO ADDED
@@ -0,0 +1,51 @@
1
+ Metadata-Version: 2.4
2
+ Name: DifferentialAlgebra
3
+ Version: 5.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
+ Dynamic: license-file
20
+
21
+ # DifferentialAlgebra Package
22
+
23
+ The DifferentialAlgebra package implements symbolic computation methods
24
+ related to Ritt and Kolchin Differential Algebra.
25
+
26
+ - Joseph Fels Ritt, Differential Algebra, volume 33 of AMS Colloquium
27
+ Publications, New York, 1950
28
+
29
+ - Ellis Robert Kolchin, Differential Algebra and Algebraic Groups,
30
+ Academic Press, 1973
31
+
32
+ It mostly provides an implementation of a differential elimination algorithm
33
+ which is a general simplification method for systems of polynomial differential
34
+ equations (ordinary or with partial derivatives).
35
+
36
+ # Notes
37
+
38
+ The actual source code is hosted at
39
+
40
+ https://codeberg.org/francois.boulier/DifferentialAlgebra
41
+
42
+ The source distribution contains the C code of the BLAD and BMI libraries
43
+ as well as the file DifferentialAlgebra.c generated by Cython over
44
+
45
+ bmi/sympy/DifferentialAlgebra.pyx
46
+
47
+ # Dependencies
48
+
49
+ The package involves an embedded version of mini-gmp.
50
+ It depends on the Python sympy package.
51
+
differentialalgebra-5.0/DifferentialAlgebra.egg-info/SOURCES.txt ADDED
@@ -0,0 +1,576 @@
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_dictionary.c
26
+ src/ba0_dictionary.h
27
+ src/ba0_dictionary_string.c
28
+ src/ba0_dictionary_string.h
29
+ src/ba0_dictionary_typed_string.c
30
+ src/ba0_dictionary_typed_string.h
31
+ src/ba0_double.c
32
+ src/ba0_double.h
33
+ src/ba0_exception.c
34
+ src/ba0_exception.h
35
+ src/ba0_format.c
36
+ src/ba0_format.h
37
+ src/ba0_garbage.c
38
+ src/ba0_garbage.h
39
+ src/ba0_global.c
40
+ src/ba0_global.h
41
+ src/ba0_gmp.c
42
+ src/ba0_gmp.h
43
+ src/ba0_indexed_string.c
44
+ src/ba0_indexed_string.h
45
+ src/ba0_int_p.c
46
+ src/ba0_int_p.h
47
+ src/ba0_interval_mpq.c
48
+ src/ba0_interval_mpq.h
49
+ src/ba0_list.c
50
+ src/ba0_list.h
51
+ src/ba0_macros_interval_mpq.h
52
+ src/ba0_macros_mint_hp.h
53
+ src/ba0_macros_mpq.h
54
+ src/ba0_macros_mpz.h
55
+ src/ba0_macros_mpzm.h
56
+ src/ba0_matrix.c
57
+ src/ba0_matrix.h
58
+ src/ba0_mesgerr.c
59
+ src/ba0_mesgerr.h
60
+ src/ba0_mint_hp.c
61
+ src/ba0_mint_hp.h
62
+ src/ba0_mpzm.c
63
+ src/ba0_mpzm.h
64
+ src/ba0_point.c
65
+ src/ba0_point.h
66
+ src/ba0_printf.c
67
+ src/ba0_printf.h
68
+ src/ba0_range_indexed_group.c
69
+ src/ba0_range_indexed_group.h
70
+ src/ba0_scanf.c
71
+ src/ba0_scanf.h
72
+ src/ba0_scanf_printf.c
73
+ src/ba0_scanf_printf.h
74
+ src/ba0_small_p.c
75
+ src/ba0_small_p.h
76
+ src/ba0_stack.c
77
+ src/ba0_stack.h
78
+ src/ba0_string.c
79
+ src/ba0_string.h
80
+ src/ba0_table.c
81
+ src/ba0_table.h
82
+ src/bad.h
83
+ src/bad_Rosenfeld_Groebner.c
84
+ src/bad_Rosenfeld_Groebner.h
85
+ src/bad_attchain.c
86
+ src/bad_attchain.h
87
+ src/bad_base_field.c
88
+ src/bad_base_field.h
89
+ src/bad_common.c
90
+ src/bad_common.h
91
+ src/bad_critical_pair.c
92
+ src/bad_critical_pair.h
93
+ src/bad_global.c
94
+ src/bad_global.h
95
+ src/bad_intersectof_regchain.c
96
+ src/bad_intersectof_regchain.h
97
+ src/bad_invert.c
98
+ src/bad_invert.h
99
+ src/bad_low_power_theorem.c
100
+ src/bad_low_power_theorem.h
101
+ src/bad_mesgerr.c
102
+ src/bad_mesgerr.h
103
+ src/bad_pardi.c
104
+ src/bad_pardi.h
105
+ src/bad_quadruple.c
106
+ src/bad_quadruple.h
107
+ src/bad_quench_map.c
108
+ src/bad_quench_map.h
109
+ src/bad_quench_regchain.c
110
+ src/bad_quench_regchain.h
111
+ src/bad_reduced_form.c
112
+ src/bad_reduced_form.h
113
+ src/bad_reduction.c
114
+ src/bad_reduction.h
115
+ src/bad_regchain.c
116
+ src/bad_regchain.h
117
+ src/bad_regularize.c
118
+ src/bad_regularize.h
119
+ src/bad_resultant.c
120
+ src/bad_resultant.h
121
+ src/bad_selection_strategy.c
122
+ src/bad_selection_strategy.h
123
+ src/bad_splitting_control.c
124
+ src/bad_splitting_control.h
125
+ src/bad_splitting_edge.c
126
+ src/bad_splitting_edge.h
127
+ src/bad_splitting_tree.c
128
+ src/bad_splitting_tree.h
129
+ src/bad_splitting_vertex.c
130
+ src/bad_splitting_vertex.h
131
+ src/bad_stats.c
132
+ src/bad_stats.h
133
+ src/bai.h
134
+ src/bai_common.c
135
+ src/bai_common.h
136
+ src/bai_dop853.c
137
+ src/bai_dop853.h
138
+ src/bai_dop853_coeffs.h
139
+ src/bai_global.c
140
+ src/bai_global.h
141
+ src/bai_mesgerr.c
142
+ src/bai_mesgerr.h
143
+ src/bai_odex.c
144
+ src/bai_odex.h
145
+ src/bai_odex_function.h
146
+ src/bai_odex_integrated_function.h
147
+ src/bai_params.c
148
+ src/bai_params.h
149
+ src/bap.h
150
+ src/bap_Ducos_mint_hp.c
151
+ src/bap_Ducos_mint_hp.h
152
+ src/bap_Ducos_mpq.c
153
+ src/bap_Ducos_mpq.h
154
+ src/bap_Ducos_mpz.c
155
+ src/bap_Ducos_mpz.h
156
+ src/bap_Ducos_mpzm.c
157
+ src/bap_Ducos_mpzm.h
158
+ src/bap__check_mint_hp.c
159
+ src/bap__check_mint_hp.h
160
+ src/bap__check_mpq.c
161
+ src/bap__check_mpq.h
162
+ src/bap__check_mpz.c
163
+ src/bap__check_mpz.h
164
+ src/bap__check_mpzm.c
165
+ src/bap__check_mpzm.h
166
+ src/bap_add_polynom_mint_hp.c
167
+ src/bap_add_polynom_mint_hp.h
168
+ src/bap_add_polynom_mpq.c
169
+ src/bap_add_polynom_mpq.h
170
+ src/bap_add_polynom_mpz.c
171
+ src/bap_add_polynom_mpz.h
172
+ src/bap_add_polynom_mpzm.c
173
+ src/bap_add_polynom_mpzm.h
174
+ src/bap_clot_mint_hp.c
175
+ src/bap_clot_mint_hp.h
176
+ src/bap_clot_mpq.c
177
+ src/bap_clot_mpq.h
178
+ src/bap_clot_mpz.c
179
+ src/bap_clot_mpz.h
180
+ src/bap_clot_mpzm.c
181
+ src/bap_clot_mpzm.h
182
+ src/bap_common.c
183
+ src/bap_common.h
184
+ src/bap_creator_mint_hp.c
185
+ src/bap_creator_mint_hp.h
186
+ src/bap_creator_mpq.c
187
+ src/bap_creator_mpq.h
188
+ src/bap_creator_mpz.c
189
+ src/bap_creator_mpz.h
190
+ src/bap_creator_mpzm.c
191
+ src/bap_creator_mpzm.h
192
+ src/bap_diff_polynom_mint_hp.c
193
+ src/bap_diff_polynom_mint_hp.h
194
+ src/bap_diff_polynom_mpq.c
195
+ src/bap_diff_polynom_mpq.h
196
+ src/bap_diff_polynom_mpz.c
197
+ src/bap_diff_polynom_mpz.h
198
+ src/bap_diff_polynom_mpzm.c
199
+ src/bap_diff_polynom_mpzm.h
200
+ src/bap_eval_polynom_mint_hp.c
201
+ src/bap_eval_polynom_mint_hp.h
202
+ src/bap_eval_polynom_mpq.c
203
+ src/bap_eval_polynom_mpq.h
204
+ src/bap_eval_polynom_mpz.c
205
+ src/bap_eval_polynom_mpz.h
206
+ src/bap_eval_polynom_mpzm.c
207
+ src/bap_eval_polynom_mpzm.h
208
+ src/bap_geobucket_mint_hp.c
209
+ src/bap_geobucket_mint_hp.h
210
+ src/bap_geobucket_mpq.c
211
+ src/bap_geobucket_mpq.h
212
+ src/bap_geobucket_mpz.c
213
+ src/bap_geobucket_mpz.h
214
+ src/bap_geobucket_mpzm.c
215
+ src/bap_geobucket_mpzm.h
216
+ src/bap_indexed_access.c
217
+ src/bap_indexed_access.h
218
+ src/bap_invert_mint_hp.c
219
+ src/bap_invert_mint_hp.h
220
+ src/bap_invert_mpq.c
221
+ src/bap_invert_mpq.h
222
+ src/bap_invert_mpzm.c
223
+ src/bap_invert_mpzm.h
224
+ src/bap_iterator_indexed_access.c
225
+ src/bap_iterator_indexed_access.h
226
+ src/bap_itercoeff_mint_hp.c
227
+ src/bap_itercoeff_mint_hp.h
228
+ src/bap_itercoeff_mpq.c
229
+ src/bap_itercoeff_mpq.h
230
+ src/bap_itercoeff_mpz.c
231
+ src/bap_itercoeff_mpz.h
232
+ src/bap_itercoeff_mpzm.c
233
+ src/bap_itercoeff_mpzm.h
234
+ src/bap_itermon_mint_hp.c
235
+ src/bap_itermon_mint_hp.h
236
+ src/bap_itermon_mpq.c
237
+ src/bap_itermon_mpq.h
238
+ src/bap_itermon_mpz.c
239
+ src/bap_itermon_mpz.h
240
+ src/bap_itermon_mpzm.c
241
+ src/bap_itermon_mpzm.h
242
+ src/bap_mesgerr.c
243
+ src/bap_mesgerr.h
244
+ src/bap_mul_polynom_mint_hp.c
245
+ src/bap_mul_polynom_mint_hp.h
246
+ src/bap_mul_polynom_mpq.c
247
+ src/bap_mul_polynom_mpq.h
248
+ src/bap_mul_polynom_mpz.c
249
+ src/bap_mul_polynom_mpz.h
250
+ src/bap_mul_polynom_mpzm.c
251
+ src/bap_mul_polynom_mpzm.h
252
+ src/bap_parse_polynom_mint_hp.c
253
+ src/bap_parse_polynom_mint_hp.h
254
+ src/bap_parse_polynom_mpq.c
255
+ src/bap_parse_polynom_mpq.h
256
+ src/bap_parse_polynom_mpz.c
257
+ src/bap_parse_polynom_mpz.h
258
+ src/bap_parse_polynom_mpzm.c
259
+ src/bap_parse_polynom_mpzm.h
260
+ src/bap_polynom_mint_hp.c
261
+ src/bap_polynom_mint_hp.h
262
+ src/bap_polynom_mpq.c
263
+ src/bap_polynom_mpq.h
264
+ src/bap_polynom_mpz.c
265
+ src/bap_polynom_mpz.h
266
+ src/bap_polynom_mpzm.c
267
+ src/bap_polynom_mpzm.h
268
+ src/bap_polyspec_mint_hp.c
269
+ src/bap_polyspec_mint_hp.h
270
+ src/bap_polyspec_mpq.c
271
+ src/bap_polyspec_mpq.h
272
+ src/bap_polyspec_mpz.c
273
+ src/bap_polyspec_mpz.h
274
+ src/bap_polyspec_mpzm.c
275
+ src/bap_polyspec_mpzm.h
276
+ src/bap_prem_polynom_mint_hp.c
277
+ src/bap_prem_polynom_mint_hp.h
278
+ src/bap_prem_polynom_mpq.c
279
+ src/bap_prem_polynom_mpq.h
280
+ src/bap_prem_polynom_mpz.c
281
+ src/bap_prem_polynom_mpz.h
282
+ src/bap_prem_polynom_mpzm.c
283
+ src/bap_prem_polynom_mpzm.h
284
+ src/bap_product_mint_hp.c
285
+ src/bap_product_mint_hp.h
286
+ src/bap_product_mpq.c
287
+ src/bap_product_mpq.h
288
+ src/bap_product_mpz.c
289
+ src/bap_product_mpz.h
290
+ src/bap_product_mpzm.c
291
+ src/bap_product_mpzm.h
292
+ src/bap_sequential_access.h
293
+ src/bap_termanager.c
294
+ src/bap_termanager.h
295
+ src/bap_termstripper.c
296
+ src/bap_termstripper.h
297
+ src/bas.h
298
+ src/bas_DL_edge.c
299
+ src/bas_DL_edge.h
300
+ src/bas_DL_tree.c
301
+ src/bas_DL_tree.h
302
+ src/bas_DL_vertex.c
303
+ src/bas_DL_vertex.h
304
+ src/bas_DLuple.c
305
+ src/bas_DLuple.h
306
+ src/bas_Denef_Lipshitz.c
307
+ src/bas_Denef_Lipshitz.h
308
+ src/bas_Hurwitz.c
309
+ src/bas_Hurwitz.h
310
+ src/bas_Yuple.c
311
+ src/bas_Yuple.h
312
+ src/bas_Zuple.c
313
+ src/bas_Zuple.h
314
+ src/bas_beta.c
315
+ src/bas_beta.h
316
+ src/bas_common.c
317
+ src/bas_common.h
318
+ src/bas_mesgerr.c
319
+ src/bas_mesgerr.h
320
+ src/bas_positive_integer_roots.c
321
+ src/bas_positive_integer_roots.h
322
+ src/bav.h
323
+ src/bav_block.c
324
+ src/bav_block.h
325
+ src/bav_common.c
326
+ src/bav_common.h
327
+ src/bav_dictionary_symbol.c
328
+ src/bav_dictionary_symbol.h
329
+ src/bav_dictionary_variable.c
330
+ src/bav_dictionary_variable.h
331
+ src/bav_differential_ring.c
332
+ src/bav_differential_ring.h
333
+ src/bav_global.c
334
+ src/bav_global.h
335
+ src/bav_mesgerr.c
336
+ src/bav_mesgerr.h
337
+ src/bav_operator.c
338
+ src/bav_operator.h
339
+ src/bav_ordering.c
340
+ src/bav_ordering.h
341
+ src/bav_parameter.c
342
+ src/bav_parameter.h
343
+ src/bav_parameters.c
344
+ src/bav_parameters.h
345
+ src/bav_point.c
346
+ src/bav_point.h
347
+ src/bav_point_int_p.h
348
+ src/bav_point_interval_mpq.c
349
+ src/bav_point_interval_mpq.h
350
+ src/bav_rank.c
351
+ src/bav_rank.h
352
+ src/bav_subranking.c
353
+ src/bav_subranking.h
354
+ src/bav_symbol.c
355
+ src/bav_symbol.h
356
+ src/bav_term.c
357
+ src/bav_term.h
358
+ src/bav_term_ordering.c
359
+ src/bav_term_ordering.h
360
+ src/bav_typed_ident.c
361
+ src/bav_typed_ident.h
362
+ src/bav_variable.c
363
+ src/bav_variable.h
364
+ src/baz.h
365
+ src/baz_collect_terms_ratfrac.c
366
+ src/baz_collect_terms_ratfrac.h
367
+ src/baz_common.c
368
+ src/baz_common.h
369
+ src/baz_eval_polyspec_mpz.c
370
+ src/baz_eval_polyspec_mpz.h
371
+ src/baz_eval_ratfrac.c
372
+ src/baz_eval_ratfrac.h
373
+ src/baz_factor_polynom_mpq.c
374
+ src/baz_factor_polynom_mpq.h
375
+ src/baz_factor_polynom_mpz.c
376
+ src/baz_factor_polynom_mpz.h
377
+ src/baz_gcd_polynom_mpz.c
378
+ src/baz_gcd_polynom_mpz.h
379
+ src/baz_global.c
380
+ src/baz_global.h
381
+ src/baz_mesgerr.c
382
+ src/baz_mesgerr.h
383
+ src/baz_point_ratfrac.c
384
+ src/baz_point_ratfrac.h
385
+ src/baz_polyspec_mpz.c
386
+ src/baz_polyspec_mpz.h
387
+ src/baz_prolongation_pattern.c
388
+ src/baz_prolongation_pattern.h
389
+ src/baz_prospec_mpz.c
390
+ src/baz_prospec_mpz.h
391
+ src/baz_rat_bilge_mpz.c
392
+ src/baz_rat_bilge_mpz.h
393
+ src/baz_ratfrac.c
394
+ src/baz_ratfrac.h
395
+ src/baz_realroot_mpq.c
396
+ src/baz_realroot_mpq.h
397
+ src/baz_rel_ratfrac.c
398
+ src/baz_rel_ratfrac.h
399
+ src/blad.h
400
+ src/bmi.h
401
+ src/bmi_Denef_Lipshitz.c
402
+ src/bmi_Denef_Lipshitz.h
403
+ src/bmi_Denef_Lipshitz_constraints.c
404
+ src/bmi_Denef_Lipshitz_constraints.h
405
+ src/bmi_Denef_Lipshitz_leading_polynomial.c
406
+ src/bmi_Denef_Lipshitz_leading_polynomial.h
407
+ src/bmi_Denef_Lipshitz_series.c
408
+ src/bmi_Denef_Lipshitz_series.h
409
+ src/bmi_Rosenfeld_Groebner.c
410
+ src/bmi_Rosenfeld_Groebner.h
411
+ src/bmi_all_derivatives.c
412
+ src/bmi_all_derivatives.h
413
+ src/bmi_attributes.c
414
+ src/bmi_attributes.h
415
+ src/bmi_balsa.c
416
+ src/bmi_balsa.h
417
+ src/bmi_base_field_generators.c
418
+ src/bmi_base_field_generators.h
419
+ src/bmi_belongs_to.c
420
+ src/bmi_belongs_to.h
421
+ src/bmi_blad_eval.c
422
+ src/bmi_blad_eval.h
423
+ src/bmi_callback.c
424
+ src/bmi_callback.h
425
+ src/bmi_coeffs.c
426
+ src/bmi_coeffs.h
427
+ src/bmi_common.h
428
+ src/bmi_dapyx.c
429
+ src/bmi_dapyx.h
430
+ src/bmi_delta_polynomial.c
431
+ src/bmi_delta_polynomial.h
432
+ src/bmi_differential_prem.c
433
+ src/bmi_differential_prem.h
434
+ src/bmi_differential_ring.c
435
+ src/bmi_differential_ring.h
436
+ src/bmi_differentiate.c
437
+ src/bmi_differentiate.h
438
+ src/bmi_equations.c
439
+ src/bmi_equations.h
440
+ src/bmi_exported.c
441
+ src/bmi_exported.h
442
+ src/bmi_factor_derivative.c
443
+ src/bmi_factor_derivative.h
444
+ src/bmi_field_element.c
445
+ src/bmi_field_element.h
446
+ src/bmi_frozen_symbols.c
447
+ src/bmi_frozen_symbols.h
448
+ src/bmi_gmp.c
449
+ src/bmi_gmp.h
450
+ src/bmi_indets.c
451
+ src/bmi_indets.h
452
+ src/bmi_indices.h
453
+ src/bmi_is_constant.c
454
+ src/bmi_is_constant.h
455
+ src/bmi_is_orthonomic.c
456
+ src/bmi_is_orthonomic.h
457
+ src/bmi_is_reduced.c
458
+ src/bmi_is_reduced.h
459
+ src/bmi_leading_coefficient.c
460
+ src/bmi_leading_coefficient.h
461
+ src/bmi_leading_derivative.c
462
+ src/bmi_leading_derivative.h
463
+ src/bmi_leading_rank.c
464
+ src/bmi_leading_rank.h
465
+ src/bmi_max_rank_element.c
466
+ src/bmi_max_rank_element.h
467
+ src/bmi_memory.c
468
+ src/bmi_memory.h
469
+ src/bmi_mesgerr.c
470
+ src/bmi_mesgerr.h
471
+ src/bmi_min_rank_element.c
472
+ src/bmi_min_rank_element.h
473
+ src/bmi_normal_form.c
474
+ src/bmi_normal_form.h
475
+ src/bmi_normal_form_ext.c
476
+ src/bmi_normal_form_ext.h
477
+ src/bmi_number_of_equations.c
478
+ src/bmi_number_of_equations.h
479
+ src/bmi_options.c
480
+ src/bmi_options.h
481
+ src/bmi_parameters.c
482
+ src/bmi_parameters.h
483
+ src/bmi_pardi.c
484
+ src/bmi_pardi.h
485
+ src/bmi_prem.c
486
+ src/bmi_prem.h
487
+ src/bmi_preparation_equation.c
488
+ src/bmi_preparation_equation.h
489
+ src/bmi_pretend_regchain.c
490
+ src/bmi_pretend_regchain.h
491
+ src/bmi_process_equations.c
492
+ src/bmi_process_equations.h
493
+ src/bmi_process_expansion_point.c
494
+ src/bmi_process_expansion_point.h
495
+ src/bmi_ranking.c
496
+ src/bmi_ranking.h
497
+ src/bmi_rat_bilge.c
498
+ src/bmi_rat_bilge.h
499
+ src/bmi_reduced_form.c
500
+ src/bmi_reduced_form.h
501
+ src/bmi_resultant.c
502
+ src/bmi_resultant.h
503
+ src/bmi_rtable.c
504
+ src/bmi_rtable.h
505
+ src/bmi_separant.c
506
+ src/bmi_separant.h
507
+ src/bmi_sort_by_rank.c
508
+ src/bmi_sort_by_rank.h
509
+ src/bmi_tail.c
510
+ src/bmi_tail.h
511
+ src/config.h
512
+ src/mini-gmp.c
513
+ src/mini-gmp.h
514
+ src/mini-mpq.c
515
+ src/mini-mpq.h
516
+ tests/test01.py
517
+ tests/test02.py
518
+ tests/test03.py
519
+ tests/test04.py
520
+ tests/test05.py
521
+ tests/test06.py
522
+ tests/test07.py
523
+ tests/test08.py
524
+ tests/test09.py
525
+ tests/test10.py
526
+ tests/test11.py
527
+ tests/test12.py
528
+ tests/test13.py
529
+ tests/test14.py
530
+ tests/test15.py
531
+ tests/test16.py
532
+ tests/test17.py
533
+ tests/test18.py
534
+ tests/test19.py
535
+ tests/test20.py
536
+ tests/test21.py
537
+ tests/test22.py
538
+ tests/test23.py
539
+ tests/test24.py
540
+ tests/test25.py
541
+ tests/test26.py
542
+ tests/test27.py
543
+ tests/test28.py
544
+ tests/test29.py
545
+ tests/test30.py
546
+ tests/test31.py
547
+ tests/test32.py
548
+ tests/test33.py
549
+ tests/test34.py
550
+ tests/test35.py
551
+ tests/test36.py
552
+ tests/test37.py
553
+ tests/test38.py
554
+ tests/test39.py
555
+ tests/test40.py
556
+ tests/test41.py
557
+ tests/test42.py
558
+ tests/test43.py
559
+ tests/test44.py
560
+ tests/test45.py
561
+ tests/test46.py
562
+ tests/test47.py
563
+ tests/test52.py
564
+ tests/test53.py
565
+ tests/test54.py
566
+ tests/test55.py
567
+ tests/test56.py
568
+ tests/test57.py
569
+ tests/test58.py
570
+ tests/test59.py
571
+ tests/test60.py
572
+ tests/test61.py
573
+ tests/test62.py
574
+ tests/test63.py
575
+ tests/test64.py
576
+ tests/test65.py
differentialalgebra-5.0/PKG-INFO ADDED
@@ -0,0 +1,51 @@
1
+ Metadata-Version: 2.4
2
+ Name: DifferentialAlgebra
3
+ Version: 5.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
+ Dynamic: license-file
20
+
21
+ # DifferentialAlgebra Package
22
+
23
+ The DifferentialAlgebra package implements symbolic computation methods
24
+ related to Ritt and Kolchin Differential Algebra.
25
+
26
+ - Joseph Fels Ritt, Differential Algebra, volume 33 of AMS Colloquium
27
+ Publications, New York, 1950
28
+
29
+ - Ellis Robert Kolchin, Differential Algebra and Algebraic Groups,
30
+ Academic Press, 1973
31
+
32
+ It mostly provides an implementation of a differential elimination algorithm
33
+ which is a general simplification method for systems of polynomial differential
34
+ equations (ordinary or with partial derivatives).
35
+
36
+ # Notes
37
+
38
+ The actual source code is hosted at
39
+
40
+ https://codeberg.org/francois.boulier/DifferentialAlgebra
41
+
42
+ The source distribution contains the C code of the BLAD and BMI libraries
43
+ as well as the file DifferentialAlgebra.c generated by Cython over
44
+
45
+ bmi/sympy/DifferentialAlgebra.pyx
46
+
47
+ # Dependencies
48
+
49
+ The package involves an embedded version of mini-gmp.
50
+ It depends on the Python sympy package.
51
+
differentialalgebra-5.0/pyproject.toml ADDED
@@ -0,0 +1,29 @@
1
+ [build-system]
2
+ requires = ["setuptools>=61.0"]
3
+ build-backend = "setuptools.build_meta"
4
+
5
+ [tool.setuptools]
6
+ py-modules = []
7
+
8
+ [project]
9
+ name = "DifferentialAlgebra"
10
+ version = "5.0"
11
+ description = "The Differential Algebra package"
12
+ authors = [
13
+ { name="François Boulier", email="francois.boulier@univ-lille.fr" },
14
+ ]
15
+ readme = "README.md"
16
+ requires-python = ">=3.8"
17
+ dependencies = ["sympy"]
18
+ classifiers = [
19
+ "Development Status :: 5 - Production/Stable",
20
+ "Intended Audience :: Education",
21
+ "Intended Audience :: Science/Research",
22
+ "License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)",
23
+ "Operating System :: POSIX :: Linux",
24
+ "Programming Language :: C",
25
+ "Programming Language :: Cython",
26
+ "Programming Language :: Python :: 3",
27
+ "Topic :: Scientific/Engineering :: Mathematics"
28
+ ]
29
+