synkit 1.6.5__py3-none-win_amd64.whl

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 (636) hide show
  1. synkit/CRN/Benchmark/__init__.py +53 -0
  2. synkit/CRN/Benchmark/crosschecks.py +13 -0
  3. synkit/CRN/Benchmark/kegg.py +12 -0
  4. synkit/CRN/Benchmark/networks.py +13 -0
  5. synkit/CRN/Benchmark/scaling.py +13 -0
  6. synkit/CRN/Benchmark/validate.py +13 -0
  7. synkit/CRN/Construct/__init__.py +16 -0
  8. synkit/CRN/Construct/abstract.py +668 -0
  9. synkit/CRN/Construct/arity.py +36 -0
  10. synkit/CRN/Construct/builder.py +619 -0
  11. synkit/CRN/Construct/derivation.py +63 -0
  12. synkit/CRN/Construct/flattener.py +100 -0
  13. synkit/CRN/Construct/keys.py +14 -0
  14. synkit/CRN/Construct/mixtures.py +117 -0
  15. synkit/CRN/Construct/rdkit_worker.py +69 -0
  16. synkit/CRN/Construct/smiles.py +99 -0
  17. synkit/CRN/Construct/state.py +31 -0
  18. synkit/CRN/Construct/strategy.py +75 -0
  19. synkit/CRN/Construct/worker.py +42 -0
  20. synkit/CRN/IO/__init__.py +36 -0
  21. synkit/CRN/IO/sbml.py +925 -0
  22. synkit/CRN/Pathway/__init__.py +72 -0
  23. synkit/CRN/Pathway/_adapter.py +333 -0
  24. synkit/CRN/Pathway/pathfinder.py +500 -0
  25. synkit/CRN/Pathway/reachability.py +796 -0
  26. synkit/CRN/Pathway/realizability.py +1322 -0
  27. synkit/CRN/Petrinet/__init__.py +93 -0
  28. synkit/CRN/Petrinet/analyzer.py +486 -0
  29. synkit/CRN/Petrinet/minimal_semiflows.py +436 -0
  30. synkit/CRN/Petrinet/net.py +1041 -0
  31. synkit/CRN/Petrinet/persistence.py +97 -0
  32. synkit/CRN/Petrinet/semiflows.py +483 -0
  33. synkit/CRN/Petrinet/siphon_search.py +402 -0
  34. synkit/CRN/Petrinet/structure.py +286 -0
  35. synkit/CRN/Props/__init__.py +130 -0
  36. synkit/CRN/Props/_rank.py +29 -0
  37. synkit/CRN/Props/deficiency.py +953 -0
  38. synkit/CRN/Props/dynamics.py +832 -0
  39. synkit/CRN/Props/helper.py +151 -0
  40. synkit/CRN/Props/stoich.py +751 -0
  41. synkit/CRN/Props/thermo.py +584 -0
  42. synkit/CRN/Query/__init__.py +66 -0
  43. synkit/CRN/Query/cache.py +41 -0
  44. synkit/CRN/Query/kegg_api.py +99 -0
  45. synkit/CRN/Query/kegg_extract.py +714 -0
  46. synkit/CRN/Query/kegg_impute.py +707 -0
  47. synkit/CRN/Query/kegg_parse.py +480 -0
  48. synkit/CRN/Query/to_syncrn.py +290 -0
  49. synkit/CRN/README.md +234 -0
  50. synkit/CRN/Structure/__init__.py +12 -0
  51. synkit/CRN/Structure/_graph_io.py +713 -0
  52. synkit/CRN/Structure/_matrices.py +88 -0
  53. synkit/CRN/Structure/_parse.py +544 -0
  54. synkit/CRN/Structure/reaction.py +237 -0
  55. synkit/CRN/Structure/rule.py +55 -0
  56. synkit/CRN/Structure/species.py +46 -0
  57. synkit/CRN/Structure/syncrn.py +929 -0
  58. synkit/CRN/Symmetry/__init__.py +20 -0
  59. synkit/CRN/Symmetry/_common.py +1059 -0
  60. synkit/CRN/Symmetry/_ir.py +940 -0
  61. synkit/CRN/Symmetry/automorphism.py +472 -0
  62. synkit/CRN/Symmetry/canon.py +441 -0
  63. synkit/CRN/Symmetry/isomorphism.py +412 -0
  64. synkit/CRN/Symmetry/symmetry.py +61 -0
  65. synkit/CRN/Symmetry/wl_canon.py +967 -0
  66. synkit/CRN/Visualize/__init__.py +11 -0
  67. synkit/CRN/Visualize/labels.py +113 -0
  68. synkit/CRN/Visualize/layout.py +708 -0
  69. synkit/CRN/Visualize/palette.py +292 -0
  70. synkit/CRN/Visualize/validation.py +122 -0
  71. synkit/CRN/Visualize/vis.py +1152 -0
  72. synkit/CRN/__init__.py +233 -0
  73. synkit/CRN/_build.py +50 -0
  74. synkit/CRN/_native_build.py +175 -0
  75. synkit/CRN/analysis.py +629 -0
  76. synkit/CRN/backend.py +74 -0
  77. synkit/CRN/cpp/CMakeLists.txt +58 -0
  78. synkit/CRN/cpp/algebra.cpp +46 -0
  79. synkit/CRN/cpp/closure.cpp +29 -0
  80. synkit/CRN/cpp/exact.h +55 -0
  81. synkit/CRN/cpp/pathway.cpp +46 -0
  82. synkit/CRN/cpp/semiflows.cpp +209 -0
  83. synkit/CRN/cpp/structural.cpp +240 -0
  84. synkit/CRN/cpp/symmetry.cpp +45 -0
  85. synkit/CRN/cpp/write_manifest.cmake +28 -0
  86. synkit/CRN/kinds.py +137 -0
  87. synkit/CRN/lib/synkit_crn.dll +0 -0
  88. synkit/CRN/lib/synkit_crn.json +33 -0
  89. synkit/CRN/native.py +388 -0
  90. synkit/CRN/native_analysis.py +459 -0
  91. synkit/Chem/Cluster/__init__.py +0 -0
  92. synkit/Chem/Cluster/butina.py +140 -0
  93. synkit/Chem/Fingerprint/__init__.py +0 -0
  94. synkit/Chem/Fingerprint/fp_calculator.py +155 -0
  95. synkit/Chem/Fingerprint/smiles_featurizer.py +258 -0
  96. synkit/Chem/Fingerprint/transformation_fp.py +139 -0
  97. synkit/Chem/Mapper/README.rst +43 -0
  98. synkit/Chem/Mapper/__init__.py +255 -0
  99. synkit/Chem/Mapper/_compat.py +130 -0
  100. synkit/Chem/Mapper/adapters/__init__.py +1 -0
  101. synkit/Chem/Mapper/adapters/prediction.py +126 -0
  102. synkit/Chem/Mapper/adapters/template.py +412 -0
  103. synkit/Chem/Mapper/chem/__init__.py +52 -0
  104. synkit/Chem/Mapper/chem/aam.py +673 -0
  105. synkit/Chem/Mapper/chem/blind.py +160 -0
  106. synkit/Chem/Mapper/chem/its.py +309 -0
  107. synkit/Chem/Mapper/chem/smiles.py +564 -0
  108. synkit/Chem/Mapper/graph/__init__.py +66 -0
  109. synkit/Chem/Mapper/graph/automorphism.py +395 -0
  110. synkit/Chem/Mapper/graph/blockcut.py +98 -0
  111. synkit/Chem/Mapper/graph/labeled_graph.py +104 -0
  112. synkit/Chem/Mapper/graph/refine.py +176 -0
  113. synkit/Chem/Mapper/graph/synkit_adapter.py +110 -0
  114. synkit/Chem/Mapper/io/__init__.py +13 -0
  115. synkit/Chem/Mapper/io/idxmapstr.py +82 -0
  116. synkit/Chem/Mapper/mapper.py +685 -0
  117. synkit/Chem/Mapper/reaction_search.py +554 -0
  118. synkit/Chem/Mapper/reporting/__init__.py +1 -0
  119. synkit/Chem/Mapper/reporting/alternatives.py +451 -0
  120. synkit/Chem/Mapper/reporting/analysis.py +681 -0
  121. synkit/Chem/Mapper/reporting/native_analysis.py +485 -0
  122. synkit/Chem/Mapper/reporting/spectrum.py +642 -0
  123. synkit/Chem/Mapper/solvers/__init__.py +1 -0
  124. synkit/Chem/Mapper/solvers/exact/__init__.py +141 -0
  125. synkit/Chem/Mapper/solvers/exact/assignment/__init__.py +1 -0
  126. synkit/Chem/Mapper/solvers/exact/assignment/assignment_certificate.py +113 -0
  127. synkit/Chem/Mapper/solvers/exact/assignment/assignment_domains.py +162 -0
  128. synkit/Chem/Mapper/solvers/exact/assignment/assignment_verification.py +58 -0
  129. synkit/Chem/Mapper/solvers/exact/assignment/incremental_assignment.py +247 -0
  130. synkit/Chem/Mapper/solvers/exact/certificate.py +128 -0
  131. synkit/Chem/Mapper/solvers/exact/core.py +183 -0
  132. synkit/Chem/Mapper/solvers/exact/distance_search/__init__.py +1 -0
  133. synkit/Chem/Mapper/solvers/exact/distance_search/bounds.py +319 -0
  134. synkit/Chem/Mapper/solvers/exact/distance_search/exhaustive.py +179 -0
  135. synkit/Chem/Mapper/solvers/exact/distance_search/inputs.py +283 -0
  136. synkit/Chem/Mapper/solvers/exact/distance_search/records.py +242 -0
  137. synkit/Chem/Mapper/solvers/exact/distance_search/search.py +1025 -0
  138. synkit/Chem/Mapper/solvers/exact/distance_search/verify.py +378 -0
  139. synkit/Chem/Mapper/solvers/exact/edit_support.py +375 -0
  140. synkit/Chem/Mapper/solvers/exact/hybrid.py +224 -0
  141. synkit/Chem/Mapper/solvers/exact/hydrogen.py +264 -0
  142. synkit/Chem/Mapper/solvers/exact/kernel_solvers/__init__.py +1 -0
  143. synkit/Chem/Mapper/solvers/exact/kernel_solvers/branching.py +499 -0
  144. synkit/Chem/Mapper/solvers/exact/kernel_solvers/enumerate.py +1050 -0
  145. synkit/Chem/Mapper/solvers/exact/kernel_solvers/enumeration_result.py +30 -0
  146. synkit/Chem/Mapper/solvers/exact/kernel_solvers/kernel.py +256 -0
  147. synkit/Chem/Mapper/solvers/exact/kernel_solvers/milp.py +194 -0
  148. synkit/Chem/Mapper/solvers/exact/native/__init__.py +1 -0
  149. synkit/Chem/Mapper/solvers/exact/native/build.py +154 -0
  150. synkit/Chem/Mapper/solvers/exact/native/candidates.py +593 -0
  151. synkit/Chem/Mapper/solvers/exact/native/canonical.py +396 -0
  152. synkit/Chem/Mapper/solvers/exact/native/disk_frontier.py +415 -0
  153. synkit/Chem/Mapper/solvers/exact/native/frontier.py +390 -0
  154. synkit/Chem/Mapper/solvers/exact/native/hydrogen_quotient.py +213 -0
  155. synkit/Chem/Mapper/solvers/exact/native/its.py +528 -0
  156. synkit/Chem/Mapper/solvers/exact/native/native_distance.cpp +2803 -0
  157. synkit/Chem/Mapper/solvers/exact/native/orbit_aggregation.py +328 -0
  158. synkit/Chem/Mapper/solvers/exact/native/parallel.py +205 -0
  159. synkit/Chem/Mapper/solvers/exact/native/pmcd.py +203 -0
  160. synkit/Chem/Mapper/solvers/exact/native/runtime.py +40 -0
  161. synkit/Chem/Mapper/solvers/exact/native/search.py +294 -0
  162. synkit/Chem/Mapper/solvers/exact/native/separator.py +224 -0
  163. synkit/Chem/Mapper/solvers/exact/native_build.py +12 -0
  164. synkit/Chem/Mapper/solvers/exact/pabs/__init__.py +1 -0
  165. synkit/Chem/Mapper/solvers/exact/pabs/cost_lattice.py +43 -0
  166. synkit/Chem/Mapper/solvers/exact/pabs/factor_spectrum.py +110 -0
  167. synkit/Chem/Mapper/solvers/exact/pabs/multi_shell.py +368 -0
  168. synkit/Chem/Mapper/solvers/exact/pabs/propagation.py +679 -0
  169. synkit/Chem/Mapper/solvers/exact/pabs/propagation_bounds.py +436 -0
  170. synkit/Chem/Mapper/solvers/exact/pabs/propagation_limits.py +13 -0
  171. synkit/Chem/Mapper/solvers/exact/pabs/propagation_search.py +856 -0
  172. synkit/Chem/Mapper/solvers/exact/pabs/propagation_symmetry.py +66 -0
  173. synkit/Chem/Mapper/solvers/exact/pabs/residual_typed_bonds.py +136 -0
  174. synkit/Chem/Mapper/solvers/exact/pabs/reward_frontier.py +201 -0
  175. synkit/Chem/Mapper/solvers/exact/pabs/separator_bound.py +258 -0
  176. synkit/Chem/Mapper/solvers/exact/pabs/separator_spectrum.py +308 -0
  177. synkit/Chem/Mapper/solvers/exact/pabs/sparse_reward_bound.py +207 -0
  178. synkit/Chem/Mapper/solvers/exact/pabs/suffix_spectrum.py +299 -0
  179. synkit/Chem/Mapper/solvers/exact/search.py +55 -0
  180. synkit/Chem/Mapper/solvers/exact/seeds/__init__.py +1 -0
  181. synkit/Chem/Mapper/solvers/exact/seeds/seed.py +104 -0
  182. synkit/Chem/Mapper/solvers/exact/seeds/seed_fragments.py +148 -0
  183. synkit/Chem/Mapper/solvers/exact/seeds/seed_relaxation.py +181 -0
  184. synkit/Chem/Mapper/solvers/exact/symmetry.py +223 -0
  185. synkit/Chem/Mapper/solvers/native/__init__.py +4 -0
  186. synkit/Chem/Mapper/solvers/native/assignment.py +99 -0
  187. synkit/Chem/Mapper/solvers/native/astar.py +22 -0
  188. synkit/Chem/Mapper/solvers/native/build.py +385 -0
  189. synkit/Chem/Mapper/solvers/native/classification.py +641 -0
  190. synkit/Chem/Mapper/solvers/native/core.py +378 -0
  191. synkit/Chem/Mapper/solvers/native/cpp/CMakeLists.txt +120 -0
  192. synkit/Chem/Mapper/solvers/native/cpp/examples/map_reaction.cpp +29 -0
  193. synkit/Chem/Mapper/solvers/native/cpp/examples/slap_graph.cpp +63 -0
  194. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/assignment/assignment.h +18 -0
  195. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/astar/astar.h +18 -0
  196. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/astar/bound.h +33 -0
  197. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/core/pmcd_witness.h +16 -0
  198. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/core/runtime.h +130 -0
  199. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/hydrogen/hydrogen.h +73 -0
  200. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/mapper.h +175 -0
  201. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/mces/mces.h +9 -0
  202. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/pabs/seed.h +34 -0
  203. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/reaction/reaction.h +30 -0
  204. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/sepdp/sepdp.h +21 -0
  205. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/slap.h +72 -0
  206. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/solvers/solvers.h +16 -0
  207. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/symmetry/classification.h +140 -0
  208. synkit/Chem/Mapper/solvers/native/cpp/include/synkit_mapper/symmetry/cpabs.h +33 -0
  209. synkit/Chem/Mapper/solvers/native/cpp/src/assignment/abb.cpp +302 -0
  210. synkit/Chem/Mapper/solvers/native/cpp/src/astar/CMakeLists.txt +12 -0
  211. synkit/Chem/Mapper/solvers/native/cpp/src/astar/README.md +47 -0
  212. synkit/Chem/Mapper/solvers/native/cpp/src/astar/astar.cpp +228 -0
  213. synkit/Chem/Mapper/solvers/native/cpp/src/astar/astar_graph.cpp +37 -0
  214. synkit/Chem/Mapper/solvers/native/cpp/src/astar/bound.cpp +212 -0
  215. synkit/Chem/Mapper/solvers/native/cpp/src/core/dispatch.cpp +272 -0
  216. synkit/Chem/Mapper/solvers/native/cpp/src/core/pmcd_witness.cpp +36 -0
  217. synkit/Chem/Mapper/solvers/native/cpp/src/hydrogen/hydrogen.cpp +380 -0
  218. synkit/Chem/Mapper/solvers/native/cpp/src/mces/README.md +57 -0
  219. synkit/Chem/Mapper/solvers/native/cpp/src/mces/mces.cpp +287 -0
  220. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/bridge.cpp +334 -0
  221. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/chemical_floor.inc +181 -0
  222. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/endpoint_symmetry.inc +104 -0
  223. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/exact_helpers.h +20 -0
  224. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/lp_assignment_certificate.h +165 -0
  225. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/lp_certificate.h +125 -0
  226. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/lp_model.h +365 -0
  227. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/lp_provider.inc +319 -0
  228. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/lp_rounding.inc +170 -0
  229. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/lp_test_hooks.h +342 -0
  230. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/objective_reduction.inc +137 -0
  231. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/overlap_dual.inc +351 -0
  232. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/profile_seed.inc +214 -0
  233. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/seed_heuristics.inc +640 -0
  234. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/sparse_embedding.cpp +430 -0
  235. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/sparse_root_lp.h +176 -0
  236. synkit/Chem/Mapper/solvers/native/cpp/src/pabs/test_hooks.inc +262 -0
  237. synkit/Chem/Mapper/solvers/native/cpp/src/reaction/reaction.cpp +611 -0
  238. synkit/Chem/Mapper/solvers/native/cpp/src/sepdp/README.md +61 -0
  239. synkit/Chem/Mapper/solvers/native/cpp/src/sepdp/sepdp.cpp +253 -0
  240. synkit/Chem/Mapper/solvers/native/cpp/src/slap.cpp +810 -0
  241. synkit/Chem/Mapper/solvers/native/cpp/src/solvers/formulation.h +138 -0
  242. synkit/Chem/Mapper/solvers/native/cpp/src/solvers/maxsat.cpp +526 -0
  243. synkit/Chem/Mapper/solvers/native/cpp/src/solvers/ortools.cpp +475 -0
  244. synkit/Chem/Mapper/solvers/native/cpp/src/solvers/seed.h +80 -0
  245. synkit/Chem/Mapper/solvers/native/cpp/src/solvers/weighted_cnf.h +256 -0
  246. synkit/Chem/Mapper/solvers/native/cpp/src/supporting/README.md +43 -0
  247. synkit/Chem/Mapper/solvers/native/cpp/src/supporting/dfs.cpp +123 -0
  248. synkit/Chem/Mapper/solvers/native/cpp/src/supporting/edit_support.cpp +224 -0
  249. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/classification.cpp +553 -0
  250. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/classification_pipeline.cpp +124 -0
  251. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/classification_stream.h +13 -0
  252. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/cpabs.cpp +455 -0
  253. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/edge_deck.cpp +743 -0
  254. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/COPYRIGHT +44 -0
  255. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/LICENSE-2.0.txt +202 -0
  256. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/naugraph.c +732 -0
  257. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/naurng.c +94 -0
  258. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/naurng.h +49 -0
  259. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/nausparse.c +1771 -0
  260. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/nausparse.h +133 -0
  261. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/nautil.c +750 -0
  262. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/naututil.h +355 -0
  263. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/nauty.c +1256 -0
  264. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/nauty.h +1544 -0
  265. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/schreier.c +1131 -0
  266. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/schreier.h +70 -0
  267. synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/sorttemplates.c +580 -0
  268. synkit/Chem/Mapper/solvers/native/hydrogen.py +711 -0
  269. synkit/Chem/Mapper/solvers/native/implicit.py +506 -0
  270. synkit/Chem/Mapper/solvers/native/implicit_certificate.py +187 -0
  271. synkit/Chem/Mapper/solvers/native/implicit_preparation.py +309 -0
  272. synkit/Chem/Mapper/solvers/native/lib/synkit_mapper.dll +0 -0
  273. synkit/Chem/Mapper/solvers/native/mces.py +16 -0
  274. synkit/Chem/Mapper/solvers/native/reaction.py +179 -0
  275. synkit/Chem/Mapper/solvers/native/reaction_build.py +277 -0
  276. synkit/Chem/Mapper/solvers/native/reaction_text.py +26 -0
  277. synkit/Chem/Mapper/solvers/native/runtime.py +242 -0
  278. synkit/Chem/Mapper/solvers/native/sepdp.py +47 -0
  279. synkit/Chem/Mapper/solvers/native/slap.py +266 -0
  280. synkit/Chem/Mapper/solvers/native/solvers.py +67 -0
  281. synkit/Chem/Mapper/solvers/native/stereo.py +86 -0
  282. synkit/Chem/Mapper/solvers/native/supporting.py +34 -0
  283. synkit/Chem/Mapper/solvers/native/symmetry.py +91 -0
  284. synkit/Chem/Mapper/solvers/slap/__init__.py +29 -0
  285. synkit/Chem/Mapper/solvers/slap/lap.py +174 -0
  286. synkit/Chem/Mapper/solvers/slap/sequential.py +696 -0
  287. synkit/Chem/Mapper/validation/__init__.py +1 -0
  288. synkit/Chem/Mapper/validation/aam_validator.py +442 -0
  289. synkit/Chem/Mapper/validation/annotations.py +274 -0
  290. synkit/Chem/Mapper/validation/bonds.py +124 -0
  291. synkit/Chem/Mapper/validation/cohorts.py +72 -0
  292. synkit/Chem/Mapper/validation/identifiability.py +150 -0
  293. synkit/Chem/Mapper/validation/numerical_scope.py +36 -0
  294. synkit/Chem/Mapper/validation/orbits.py +137 -0
  295. synkit/Chem/Molecule/__init__.py +0 -0
  296. synkit/Chem/Molecule/_chirality_loci.py +165 -0
  297. synkit/Chem/Molecule/_chirality_types.py +231 -0
  298. synkit/Chem/Molecule/_helical_loci.py +167 -0
  299. synkit/Chem/Molecule/_stereo_axis_evidence.py +202 -0
  300. synkit/Chem/Molecule/_stereo_element_detection.py +193 -0
  301. synkit/Chem/Molecule/_stereo_orientation_constraints.py +511 -0
  302. synkit/Chem/Molecule/_tetrahedral_carriers.py +63 -0
  303. synkit/Chem/Molecule/atom_features.py +379 -0
  304. synkit/Chem/Molecule/chirality.py +1041 -0
  305. synkit/Chem/Molecule/cip_assignment.py +569 -0
  306. synkit/Chem/Molecule/cip_ranking.py +843 -0
  307. synkit/Chem/Molecule/coordinate_stereo.py +503 -0
  308. synkit/Chem/Molecule/derived_stereo_naming.py +165 -0
  309. synkit/Chem/Molecule/descriptors.py +452 -0
  310. synkit/Chem/Molecule/formula.py +249 -0
  311. synkit/Chem/Molecule/global_stereo.py +175 -0
  312. synkit/Chem/Molecule/graph_annotator.py +300 -0
  313. synkit/Chem/Molecule/standardize.py +817 -0
  314. synkit/Chem/Molecule/stereo_evidence.py +179 -0
  315. synkit/Chem/Molecule/stereo_perception.py +1032 -0
  316. synkit/Chem/Molecule/valence.py +123 -0
  317. synkit/Chem/Reaction/Mapper/__init__.py +44 -0
  318. synkit/Chem/Reaction/__init__.py +20 -0
  319. synkit/Chem/Reaction/aam_validator.py +5 -0
  320. synkit/Chem/Reaction/balance_check.py +138 -0
  321. synkit/Chem/Reaction/canon_rsmi.py +249 -0
  322. synkit/Chem/Reaction/cleaning.py +58 -0
  323. synkit/Chem/Reaction/deionize.py +199 -0
  324. synkit/Chem/Reaction/explicit_h_audit.py +232 -0
  325. synkit/Chem/Reaction/fix_aam.py +64 -0
  326. synkit/Chem/Reaction/neutralize.py +207 -0
  327. synkit/Chem/Reaction/radical_wildcard.py +224 -0
  328. synkit/Chem/Reaction/standardize.py +203 -0
  329. synkit/Chem/Reaction/tautomerize.py +205 -0
  330. synkit/Chem/__init__.py +1 -0
  331. synkit/Chem/utils.py +315 -0
  332. synkit/Data/__init__.py +0 -0
  333. synkit/Data/aldol.json.gz +1 -0
  334. synkit/Data/gen_partial_aam.py +147 -0
  335. synkit/Data/paracetamol.json.gz +1 -0
  336. synkit/Graph/Canon/__init__.py +16 -0
  337. synkit/Graph/Canon/_native/__init__.py +13 -0
  338. synkit/Graph/Canon/_native/build.py +93 -0
  339. synkit/Graph/Canon/_native/lib/synkit_canon.dll +0 -0
  340. synkit/Graph/Canon/_native/prepare.py +49 -0
  341. synkit/Graph/Canon/_native/runtime.py +140 -0
  342. synkit/Graph/Canon/_native/search.py +137 -0
  343. synkit/Graph/Canon/canon_algs.py +228 -0
  344. synkit/Graph/Canon/canon_graph.py +531 -0
  345. synkit/Graph/Canon/cpp/CMakeLists.txt +42 -0
  346. synkit/Graph/Canon/cpp/README.md +123 -0
  347. synkit/Graph/Canon/cpp/examples/canonical_graph.cpp +16 -0
  348. synkit/Graph/Canon/cpp/include/synkit_canon/canon.h +85 -0
  349. synkit/Graph/Canon/cpp/src/canonical.cpp +391 -0
  350. synkit/Graph/Canon/cpp/src/symmetry.h +83 -0
  351. synkit/Graph/Canon/cpp/tests/symmetry.cpp +93 -0
  352. synkit/Graph/Canon/exact.py +1020 -0
  353. synkit/Graph/Canon/exact_refinement.py +368 -0
  354. synkit/Graph/Canon/nauty.py +143 -0
  355. synkit/Graph/Context/__init__.py +0 -0
  356. synkit/Graph/Context/hier_context.py +244 -0
  357. synkit/Graph/Context/radius_expand.py +252 -0
  358. synkit/Graph/FG/__init__.py +19 -0
  359. synkit/Graph/FG/api.py +39 -0
  360. synkit/Graph/FG/audit.py +155 -0
  361. synkit/Graph/FG/catalog.py +919 -0
  362. synkit/Graph/FG/detector.py +288 -0
  363. synkit/Graph/FG/model.py +97 -0
  364. synkit/Graph/FG/recognizers.py +274 -0
  365. synkit/Graph/FG/ring_system.py +154 -0
  366. synkit/Graph/Feature/Descriptors/topology.py +857 -0
  367. synkit/Graph/Feature/Fingerprint/__init__.py +0 -0
  368. synkit/Graph/Feature/Fingerprint/wl_rxn_fps.py +222 -0
  369. synkit/Graph/Feature/__init__.py +5 -0
  370. synkit/Graph/Feature/graph_descriptors.py +323 -0
  371. synkit/Graph/Feature/graph_fps.py +96 -0
  372. synkit/Graph/Feature/graph_signature.py +239 -0
  373. synkit/Graph/Feature/hash_fps.py +133 -0
  374. synkit/Graph/Feature/morgan_fps.py +88 -0
  375. synkit/Graph/Feature/path_fps.py +81 -0
  376. synkit/Graph/Feature/wl_hash.py +134 -0
  377. synkit/Graph/Fusion/__init__.py +85 -0
  378. synkit/Graph/Fusion/candidate.py +559 -0
  379. synkit/Graph/Fusion/constructor.py +877 -0
  380. synkit/Graph/Fusion/identity.py +184 -0
  381. synkit/Graph/Fusion/interface.py +700 -0
  382. synkit/Graph/Fusion/search.py +241 -0
  383. synkit/Graph/Hyrogen/__init__.py +6 -0
  384. synkit/Graph/Hyrogen/_misc.py +591 -0
  385. synkit/Graph/Hyrogen/hcomplete.py +995 -0
  386. synkit/Graph/Hyrogen/hcomplete_legacy.py +368 -0
  387. synkit/Graph/Hyrogen/hcompletion_algorithms.py +713 -0
  388. synkit/Graph/Hyrogen/hextend.py +570 -0
  389. synkit/Graph/Hyrogen/hextend_legacy.py +215 -0
  390. synkit/Graph/ITS/__init__.py +4 -0
  391. synkit/Graph/ITS/its_builder.py +120 -0
  392. synkit/Graph/ITS/its_construction.py +719 -0
  393. synkit/Graph/ITS/its_decompose.py +572 -0
  394. synkit/Graph/ITS/its_destruction.py +331 -0
  395. synkit/Graph/ITS/its_expand.py +1251 -0
  396. synkit/Graph/ITS/its_relabel.py +187 -0
  397. synkit/Graph/ITS/its_reverter.py +356 -0
  398. synkit/Graph/ITS/normalize_aam.py +145 -0
  399. synkit/Graph/ITS/partial_its.py +238 -0
  400. synkit/Graph/ITS/rc_extractor.py +656 -0
  401. synkit/Graph/ITS/stereo.py +74 -0
  402. synkit/Graph/MTG/__init__.py +107 -0
  403. synkit/Graph/MTG/gluing.py +451 -0
  404. synkit/Graph/MTG/history.py +928 -0
  405. synkit/Graph/MTG/inventory.py +118 -0
  406. synkit/Graph/MTG/local.py +447 -0
  407. synkit/Graph/MTG/mcs_matcher.py +246 -0
  408. synkit/Graph/MTG/mtg.py +611 -0
  409. synkit/Graph/MTG/mtg_explore.py +74 -0
  410. synkit/Graph/MTG/observation.py +209 -0
  411. synkit/Graph/MTG/process.py +577 -0
  412. synkit/Graph/MTG/queries.py +66 -0
  413. synkit/Graph/MTG/realization.py +95 -0
  414. synkit/Graph/MTG/series_parallel.py +107 -0
  415. synkit/Graph/MTG/utils.py +424 -0
  416. synkit/Graph/Matcher/__init__.py +10 -0
  417. synkit/Graph/Matcher/approx_mcs.py +1264 -0
  418. synkit/Graph/Matcher/auto_est.py +736 -0
  419. synkit/Graph/Matcher/automorphism.py +314 -0
  420. synkit/Graph/Matcher/batch_cluster.py +224 -0
  421. synkit/Graph/Matcher/dedup_matches.py +247 -0
  422. synkit/Graph/Matcher/graph_cluster.py +191 -0
  423. synkit/Graph/Matcher/graph_matcher.py +312 -0
  424. synkit/Graph/Matcher/graph_morphism.py +421 -0
  425. synkit/Graph/Matcher/mcs_matcher.py +804 -0
  426. synkit/Graph/Matcher/multi_turbo_iso.py +186 -0
  427. synkit/Graph/Matcher/orbit.py +284 -0
  428. synkit/Graph/Matcher/partial_matcher.py +694 -0
  429. synkit/Graph/Matcher/sing.py +544 -0
  430. synkit/Graph/Matcher/subgraph_matcher.py +812 -0
  431. synkit/Graph/Matcher/turbo_iso.py +272 -0
  432. synkit/Graph/Matcher/wl_sel.py +537 -0
  433. synkit/Graph/Mech/__init__.py +26 -0
  434. synkit/Graph/Mech/conversion.py +1466 -0
  435. synkit/Graph/Mech/conversion_debug.py +237 -0
  436. synkit/Graph/Mech/electron_accounting.py +200 -0
  437. synkit/Graph/Mech/lwg_editor.py +406 -0
  438. synkit/Graph/Mech/lwg_ops.py +313 -0
  439. synkit/Graph/Morphism/__init__.py +99 -0
  440. synkit/Graph/Morphism/constraints.py +460 -0
  441. synkit/Graph/Morphism/llg.py +999 -0
  442. synkit/Graph/Morphism/morphism.py +349 -0
  443. synkit/Graph/Morphism/stereo.py +258 -0
  444. synkit/Graph/Morphism/stereo_morphism.py +383 -0
  445. synkit/Graph/Morphism/stereo_morphism_helpers.py +957 -0
  446. synkit/Graph/Morphism/stereo_morphism_types.py +117 -0
  447. synkit/Graph/Stereo/__init__.py +376 -0
  448. synkit/Graph/Stereo/_descriptor_core.py +207 -0
  449. synkit/Graph/Stereo/_descriptor_serialization.py +138 -0
  450. synkit/Graph/Stereo/canonical.py +648 -0
  451. synkit/Graph/Stereo/changes.py +964 -0
  452. synkit/Graph/Stereo/composition.py +391 -0
  453. synkit/Graph/Stereo/configured.py +946 -0
  454. synkit/Graph/Stereo/couplings.py +245 -0
  455. synkit/Graph/Stereo/descriptors.py +1030 -0
  456. synkit/Graph/Stereo/enumeration.py +597 -0
  457. synkit/Graph/Stereo/extended_descriptors.py +406 -0
  458. synkit/Graph/Stereo/global_configured.py +152 -0
  459. synkit/Graph/Stereo/global_stereo.py +304 -0
  460. synkit/Graph/Stereo/identity.py +648 -0
  461. synkit/Graph/Stereo/interchange.py +496 -0
  462. synkit/Graph/Stereo/legacy.py +460 -0
  463. synkit/Graph/Stereo/matching.py +899 -0
  464. synkit/Graph/Stereo/native.py +154 -0
  465. synkit/Graph/Stereo/orbits.py +668 -0
  466. synkit/Graph/Stereo/outcomes.py +99 -0
  467. synkit/Graph/Stereo/pairwise.py +350 -0
  468. synkit/Graph/Stereo/rdkit_adapter.py +662 -0
  469. synkit/Graph/Stereo/rdkit_identity.py +118 -0
  470. synkit/Graph/Stereo/rdkit_resonance.py +140 -0
  471. synkit/Graph/Stereo/reaction_interchange.py +266 -0
  472. synkit/Graph/Stereo/semantics.py +296 -0
  473. synkit/Graph/Stereo/supports.py +257 -0
  474. synkit/Graph/Stereo/wire.py +339 -0
  475. synkit/Graph/Wildcard/__init__.py +0 -0
  476. synkit/Graph/Wildcard/fuse_graph.py +156 -0
  477. synkit/Graph/Wildcard/graph_wc.py +303 -0
  478. synkit/Graph/Wildcard/its_merge.py +857 -0
  479. synkit/Graph/Wildcard/radwc.py +114 -0
  480. synkit/Graph/Wildcard/wc_matcher.py +576 -0
  481. synkit/Graph/Wildcard/wildcard.py +225 -0
  482. synkit/Graph/__init__.py +17 -0
  483. synkit/Graph/canon_graph.py +14 -0
  484. synkit/Graph/syn_graph.py +199 -0
  485. synkit/Graph/utils.py +324 -0
  486. synkit/IO/__init__.py +4 -0
  487. synkit/IO/chem_converter.py +1059 -0
  488. synkit/IO/combinatorial/__init__.py +8 -0
  489. synkit/IO/combinatorial/gml_to_graph.py +223 -0
  490. synkit/IO/combinatorial/graph_to_gml.py +280 -0
  491. synkit/IO/combinatorial/graph_to_smarts.py +186 -0
  492. synkit/IO/combinatorial/smarts_expander.py +147 -0
  493. synkit/IO/combinatorial/smarts_generalizer.py +133 -0
  494. synkit/IO/combinatorial/smarts_to_graph.py +179 -0
  495. synkit/IO/conversion.py +42 -0
  496. synkit/IO/data_io.py +269 -0
  497. synkit/IO/data_process.py +143 -0
  498. synkit/IO/debug.py +73 -0
  499. synkit/IO/gml_to_nx.py +150 -0
  500. synkit/IO/graph_to_mol.py +199 -0
  501. synkit/IO/mol_to_graph.py +1105 -0
  502. synkit/IO/mol_to_graph_chemistry.py +545 -0
  503. synkit/IO/nx_to_gml.py +209 -0
  504. synkit/IO/smiles_to_id.py +123 -0
  505. synkit/Mechanism/__init__.py +151 -0
  506. synkit/Mechanism/adapters.py +136 -0
  507. synkit/Mechanism/audit.py +323 -0
  508. synkit/Mechanism/benchmark.py +638 -0
  509. synkit/Mechanism/compatibility.py +13 -0
  510. synkit/Mechanism/drawing.py +85 -0
  511. synkit/Mechanism/electron_models.py +725 -0
  512. synkit/Mechanism/equivalence.py +521 -0
  513. synkit/Mechanism/evidence.py +262 -0
  514. synkit/Mechanism/interchange.py +141 -0
  515. synkit/Mechanism/model.py +918 -0
  516. synkit/Mechanism/neighbor_stereo.py +312 -0
  517. synkit/Mechanism/radical_data.py +740 -0
  518. synkit/Mechanism/replay.py +986 -0
  519. synkit/Mechanism/schema.py +264 -0
  520. synkit/Mechanism/stereo_state.py +416 -0
  521. synkit/Mechanism/symbols.py +91 -0
  522. synkit/Rule/Apply/__init__.py +35 -0
  523. synkit/Rule/Apply/conditions.py +45 -0
  524. synkit/Rule/Apply/dpo.py +998 -0
  525. synkit/Rule/Apply/rule_matcher.py +218 -0
  526. synkit/Rule/Apply/validation.py +354 -0
  527. synkit/Rule/Compose/__init__.py +106 -0
  528. synkit/Rule/Compose/_identity.py +43 -0
  529. synkit/Rule/Compose/composition.py +976 -0
  530. synkit/Rule/Compose/laws.py +439 -0
  531. synkit/Rule/Compose/search.py +771 -0
  532. synkit/Rule/Compose/synrule.py +170 -0
  533. synkit/Rule/Modify/__init__.py +0 -0
  534. synkit/Rule/Modify/implict_rule.py +56 -0
  535. synkit/Rule/Modify/longest_path.py +92 -0
  536. synkit/Rule/Modify/molecule_rule.py +115 -0
  537. synkit/Rule/Modify/prune_templates.py +78 -0
  538. synkit/Rule/Modify/rule_utils.py +194 -0
  539. synkit/Rule/Modify/strip_rule.py +97 -0
  540. synkit/Rule/__init__.py +28 -0
  541. synkit/Rule/generic_stereo.py +884 -0
  542. synkit/Rule/stereo_identity.py +271 -0
  543. synkit/Rule/syn_rule.py +1090 -0
  544. synkit/Synthesis/MSR/__init__.py +0 -0
  545. synkit/Synthesis/MSR/path_finder.py +239 -0
  546. synkit/Synthesis/Metrics/__init__.py +0 -0
  547. synkit/Synthesis/Metrics/_base.py +52 -0
  548. synkit/Synthesis/Metrics/_plot.py +129 -0
  549. synkit/Synthesis/Metrics/_ranking.py +179 -0
  550. synkit/Synthesis/RBL/__init__.py +80 -0
  551. synkit/Synthesis/RBL/engine.py +1249 -0
  552. synkit/Synthesis/RBL/matching.py +652 -0
  553. synkit/Synthesis/RBL/overlap.py +336 -0
  554. synkit/Synthesis/RBL/pipeline.py +376 -0
  555. synkit/Synthesis/RBL/policy.py +139 -0
  556. synkit/Synthesis/RBL/proof.py +370 -0
  557. synkit/Synthesis/RBL/reaction.py +506 -0
  558. synkit/Synthesis/RBL/state.py +169 -0
  559. synkit/Synthesis/RBL/validation.py +1060 -0
  560. synkit/Synthesis/Reactor/__init__.py +60 -0
  561. synkit/Synthesis/Reactor/core/__init__.py +1 -0
  562. synkit/Synthesis/Reactor/core/engine.py +967 -0
  563. synkit/Synthesis/Reactor/core/product.py +621 -0
  564. synkit/Synthesis/Reactor/core/rewrite.py +561 -0
  565. synkit/Synthesis/Reactor/core/strategy.py +44 -0
  566. synkit/Synthesis/Reactor/matching/__init__.py +1 -0
  567. synkit/Synthesis/Reactor/matching/mixin.py +920 -0
  568. synkit/Synthesis/Reactor/matching/policy.py +345 -0
  569. synkit/Synthesis/Reactor/matching/symmetry.py +309 -0
  570. synkit/Synthesis/Reactor/output/__init__.py +1 -0
  571. synkit/Synthesis/Reactor/output/deduplication.py +703 -0
  572. synkit/Synthesis/Reactor/output/policy.py +16 -0
  573. synkit/Synthesis/Reactor/output/serialization.py +485 -0
  574. synkit/Synthesis/Reactor/output/structural.py +893 -0
  575. synkit/Synthesis/Reactor/stereo/__init__.py +1 -0
  576. synkit/Synthesis/Reactor/stereo/assignment.py +35 -0
  577. synkit/Synthesis/Reactor/stereo/mixin.py +780 -0
  578. synkit/Synthesis/Reactor/variants/__init__.py +1 -0
  579. synkit/Synthesis/Reactor/variants/imbalanced.py +180 -0
  580. synkit/Synthesis/Reactor/variants/partial.py +84 -0
  581. synkit/Synthesis/Reactor/workflow/__init__.py +1 -0
  582. synkit/Synthesis/Reactor/workflow/batch.py +550 -0
  583. synkit/Synthesis/Reactor/workflow/benchmark.py +143 -0
  584. synkit/Synthesis/Reactor/workflow/postprocess.py +267 -0
  585. synkit/Synthesis/Reactor/workflow/rule_filter.py +210 -0
  586. synkit/Synthesis/__init__.py +0 -0
  587. synkit/Synthesis/reactor_utils.py +316 -0
  588. synkit/Utils/__init__.py +0 -0
  589. synkit/Utils/utils.py +172 -0
  590. synkit/Vis/__init__.py +91 -0
  591. synkit/Vis/crn/__init__.py +40 -0
  592. synkit/Vis/epd/__init__.py +20 -0
  593. synkit/Vis/epd/arrows.py +425 -0
  594. synkit/Vis/epd/chem.py +197 -0
  595. synkit/Vis/epd/constants.py +83 -0
  596. synkit/Vis/epd/layout.py +283 -0
  597. synkit/Vis/epd/mapping.py +51 -0
  598. synkit/Vis/epd/models.py +136 -0
  599. synkit/Vis/epd/render.py +543 -0
  600. synkit/Vis/epd/utils.py +108 -0
  601. synkit/Vis/epd/visualizer.py +811 -0
  602. synkit/Vis/graph_visualizer.py +375 -0
  603. synkit/Vis/its/__init__.py +19 -0
  604. synkit/Vis/its/drawer.py +615 -0
  605. synkit/Vis/its_drawer.py +35 -0
  606. synkit/Vis/molecule/__init__.py +31 -0
  607. synkit/Vis/molecule/drawer.py +563 -0
  608. synkit/Vis/molecule/reaction.py +285 -0
  609. synkit/Vis/molecule_drawer.py +33 -0
  610. synkit/Vis/mtg/__init__.py +17 -0
  611. synkit/Vis/mtg/drawer.py +769 -0
  612. synkit/Vis/mtg_drawer.py +34 -0
  613. synkit/Vis/pdf_writer.py +146 -0
  614. synkit/Vis/reaction/__init__.py +19 -0
  615. synkit/Vis/reaction/rule.py +141 -0
  616. synkit/Vis/reaction/rxn.py +532 -0
  617. synkit/Vis/reaction_drawer.py +41 -0
  618. synkit/Vis/space/__init__.py +17 -0
  619. synkit/Vis/space/chemical.py +80 -0
  620. synkit/Vis/space/embedding.py +87 -0
  621. synkit/Vis/vis_synedu/Vis/__init__.py +7 -0
  622. synkit/Vis/vis_synedu/Vis/dpo.py +862 -0
  623. synkit/Vis/vis_synedu/rxn_vis.py +377 -0
  624. synkit/Vis/vis_synedu/vis.py +501 -0
  625. synkit/Vis/visual_drawer.py +215 -0
  626. synkit/Vis/visual_model.py +520 -0
  627. synkit/__init__.py +3 -0
  628. synkit/_native.py +91 -0
  629. synkit/examples.py +50 -0
  630. synkit/version.py +23 -0
  631. synkit-1.6.5.dist-info/METADATA +156 -0
  632. synkit-1.6.5.dist-info/RECORD +636 -0
  633. synkit-1.6.5.dist-info/WHEEL +4 -0
  634. synkit-1.6.5.dist-info/licenses/LICENSE +21 -0
  635. synkit-1.6.5.dist-info/licenses/synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/COPYRIGHT +44 -0
  636. synkit-1.6.5.dist-info/licenses/synkit/Chem/Mapper/solvers/native/cpp/src/symmetry/vendor/nauty/LICENSE-2.0.txt +202 -0
@@ -0,0 +1,70 @@
1
+ /* schreier.h - Version 1.3 (November 2020) */
2
+
3
+ #ifndef _SCHREIER_H_ /* only process this file once */
4
+ #define _SCHREIER_H_
5
+
6
+ #include "nauty.h"
7
+ #include "naurng.h"
8
+
9
+ typedef struct permnodestruct
10
+ {
11
+ struct permnodestruct *prev,*next; /* prev&next in circular list */
12
+ unsigned long refcount; /* number of references */
13
+ int nalloc; /* size of p[] in ints,
14
+ <= 0 for a perm marker */
15
+ int mark; /* a mark, 0 unless changed */
16
+ #if FLEX_ARRAY_OK
17
+ int p[];
18
+ #else
19
+ int p[2]; /* actual vector, extended to
20
+ nalloc enties */
21
+ #endif
22
+ } permnode;
23
+
24
+ typedef struct schreierlevel
25
+ {
26
+ struct schreierlevel *next; /* down one level, if any */
27
+ int fixed; /* fixed at next level, -1 if none */
28
+ /* Invariant: next=NULL => fixed = -1 */
29
+ int nalloc; /* size of vec[] and orbits[] */
30
+ permnode **vec; /* vec[i]^pwr[i] is edge label, */
31
+ int *pwr; /* transitive closure maps i->fixed */
32
+ int *orbits; /* vector of orbits */
33
+ permnode *marker; /* points to marker for this level */
34
+ } schreier;
35
+
36
+ #define SCHREIERFAILS 10
37
+ /* Default number of Schreier failures before giving up. */
38
+
39
+ #ifdef __cplusplus
40
+ extern "C" {
41
+ #endif
42
+
43
+ /* See separate file schreier.txt for a description of usage. */
44
+
45
+ void freeschreier(schreier **gp, permnode **gens);
46
+ void addpermutation(permnode **ring, int *p, int n);
47
+ permnode *findpermutation(permnode *gens, int *p, int n);
48
+ boolean addgenerator(schreier **gp, permnode **gens, int *p, int n);
49
+ boolean condaddgenerator(schreier **gp, permnode **gens, int *p, int n);
50
+ boolean expandschreier(schreier *gp, permnode **gens, int n);
51
+ int *getorbits(int *fix, int nfix, schreier *gp, permnode **gens, int n);
52
+ int getorbitsmin(int *fix, int nfix, schreier *gp, permnode **gens,
53
+ int **orbits, int *cell, int ncell, int n, boolean changed);
54
+ void pruneset(set *fixset, schreier *gp, permnode **gens,
55
+ set *x, int m, int n);
56
+ void newgroup(schreier **gp, permnode **gens, int n);
57
+ void schreier_freedyn(void);
58
+ int schreier_fails(int nfails);
59
+ void dumpschreier(FILE *f, schreier *gp, permnode *gens, int n);
60
+ int schreier_gens(permnode *gens);
61
+ void deleteunmarked(permnode **gens);
62
+ void grouporder(int *fix, int nfix, schreier *gp, permnode **gens,
63
+ double *grpsize1, int *grpsize2, int n);
64
+ void schreier_check(int wordsize, int m, int n, int version);
65
+
66
+ #ifdef __cplusplus
67
+ }
68
+ #endif
69
+
70
+ #endif /* _SCHREIER_H_ */
@@ -0,0 +1,580 @@
1
+ /* sorttemplates.c version 2.0, Mar 13, 2018.
2
+ * Author: Brendan McKay; brendan.mckay@anu.edu.au
3
+ *
4
+ * This file contains templates for creating in-place sorting procedures
5
+ * for different data types. It cannot be compiled separately but
6
+ * should be #included after defining a few preprocessor variables.
7
+ * SORT_OF_SORT, SORT_NAME and SORT_TYPE1 are always required, and
8
+ * SORT_TYPE2 is needed for SORT_OF_SORT = 3,
9
+ * SORT_COMPARE is needed for SORT_OF_SORT = 4.
10
+ *
11
+ * SORT_OF_SORT = 1: Creates a procedure
12
+ * static void SORT_NAME(SORT_TYPE1 *x, int n)
13
+ * which permutes x[0..n-1] so that x[0] <= ... <= x[n-1].
14
+ * SORT_OF_SORT = 2: Creates a procedure
15
+ * static void SORT_NAME(SORT_TYPE1 *x, SORT_TYPE2 *y, int n)
16
+ * which permutes x[0..n-1] so that x[0] <= ... <= x[n-1]
17
+ * and also permutes y[0..n-1] by the same permutation.
18
+ * SORT_OF_SORT = 3: Creates a procedure
19
+ * static void SORT_NAME(SORT_TYPE1 *x, SORT_TYPE2 *y, int n)
20
+ * which permutes x[0..n-1] so that y[x[0]] <= ... <= y[x[n-1]].
21
+ * SORT_OF_SORT = 4: Creates a procedure
22
+ * static void SORT_NAME(SORT_TYPE1 *x, int n)
23
+ * which permutes x[0..n-1] so that
24
+ * SORT_COMPARE(x[i],x[j]) <= 0 for i<j.
25
+ * SORT_COMPARE(x,y) is an expression <0,0,>0 for x<y,x=y,x>y.
26
+ *
27
+ * SORT_NAME = the name of the procedure to be created
28
+ *
29
+ * SORT_TYPE1 = type of the first or only array (no default)
30
+ * This can be any numeric type for SORT_OF_SORT=1,2, but
31
+ * should be an integer type for SORT_OF_SORT=3.
32
+ * For SORT_OF_SORT=4, SORT_TYPE1 should be assignable;
33
+ * such as a simple type or a structure.
34
+ * SORT_TYPE2 = type of the second array if needed (no default)
35
+ * This can be any assignable type (including a structure) for
36
+ * SORT_OF_SORT=2, but must be a numeric type for SORT_OF_SORT=3.
37
+ *
38
+ * Note that C doesn't like SORT_TYPE1 and SORT_TYPE2 to be defined
39
+ * as explicit pointer types like int*. The simplest work-around
40
+ * is to define a type, e.g. "typedef int* intptr;" then use that.
41
+ *
42
+ * SORT_MINPARTITION = least number of elements for using quicksort
43
+ * partitioning, otherwise insertion sort is used (default "11")
44
+ * SORT_MINMEDIAN9 = least number of elements for using the median of 3
45
+ * medians of 3 for partitioning (default "320")
46
+ * SORT_FUNCTYPE = type of sort function (default "static void")
47
+ *
48
+ * This file can be included any number of times provided the value
49
+ * of SORT_NAME is different each time.
50
+ */
51
+
52
+ #define SORT_MEDIAN_OF_3(a,b,c) \
53
+ ((a) <= (b) ? ((b) <= (c) ? (b) : (c) <= (a) ? (a) : (c)) \
54
+ : ((a) <= (c) ? (a) : (c) <= (b) ? (b) : (c)))
55
+ #define F_SORT_MEDIAN_OF_3(f,a,b,c) \
56
+ (f(a,b) <= 0 ? (f(b,c) <= 0 ? (b) : f(c,a) <= 0 ? (a) : (c)) \
57
+ : (f(a,c) <= 0 ? (a) : f(c,b) <= 0 ? (b) : (c)))
58
+
59
+ #if !defined(SORT_OF_SORT) || !defined(SORT_NAME)
60
+ #error Either SORT_OF_SORT or SORT_NAME is undefined
61
+ #endif
62
+
63
+ #if (SORT_OF_SORT < 1) || (SORT_OF_SORT > 4)
64
+ #error Unknown value of SORT_OF_SORT
65
+ #endif
66
+
67
+ #ifndef SORT_TYPE1
68
+ #error "SORT_TYPE1 must be defined before including sorttemplates.c"
69
+ #endif
70
+
71
+ #ifndef SORT_MINPARTITION
72
+ #define SORT_MINPARTITION 11
73
+ #endif
74
+
75
+ #ifndef SORT_MINMEDIAN9
76
+ #define SORT_MINMEDIAN9 320
77
+ #endif
78
+
79
+ #ifndef SORT_FUNCTYPE
80
+ #define SORT_FUNCTYPE static void
81
+ #endif
82
+
83
+ #define SORT_SWAP1(x,y) tmp1 = x; x = y; y = tmp1;
84
+ #define SORT_SWAP2(x,y) tmp2 = x; x = y; y = tmp2;
85
+
86
+ /*******************************************************************/
87
+
88
+ #if SORT_OF_SORT == 1
89
+ SORT_FUNCTYPE
90
+ SORT_NAME(SORT_TYPE1 *x, int n)
91
+ {
92
+ int i,j;
93
+ int a,d,ba,dc,s,nn;
94
+ SORT_TYPE1 tmp1,v,v1,v2,v3;
95
+ SORT_TYPE1 *x0,*xa,*xb,*xc,*xd,*xh,*xl;
96
+ struct {SORT_TYPE1 *addr; int len;} stack[40];
97
+ int top;
98
+
99
+ top = 0;
100
+ if (n > 1)
101
+ {
102
+ stack[top].addr = x;
103
+ stack[top].len = n;
104
+ ++top;
105
+ }
106
+
107
+ while (top > 0)
108
+ {
109
+ --top;
110
+ x0 = stack[top].addr;
111
+ nn = stack[top].len;
112
+
113
+ if (nn < SORT_MINPARTITION)
114
+ {
115
+ for (i = 1; i < nn; ++i)
116
+ {
117
+ tmp1 = x0[i];
118
+ for (j = i; x0[j-1] > tmp1; )
119
+ {
120
+ x0[j] = x0[j-1];
121
+ if (--j == 0) break;
122
+ }
123
+ x0[j] = tmp1;
124
+ }
125
+ continue;
126
+ }
127
+
128
+ if (nn < SORT_MINMEDIAN9)
129
+ v = SORT_MEDIAN_OF_3(x0[0],x0[nn/2],x0[nn-1]);
130
+ else
131
+ {
132
+ v1 = SORT_MEDIAN_OF_3(x0[0],x0[1],x0[2]);
133
+ v2 = SORT_MEDIAN_OF_3(x0[nn/2-1],x0[nn/2],x0[nn/2+1]);
134
+ v3 = SORT_MEDIAN_OF_3(x0[nn-3],x0[nn-2],x0[nn-1]);
135
+ v = SORT_MEDIAN_OF_3(v1,v2,v3);
136
+ }
137
+
138
+ xa = xb = x0; xc = xd = x0+(nn-1);
139
+ for (;;)
140
+ {
141
+ while (xb <= xc && *xb <= v)
142
+ {
143
+ if (*xb == v)
144
+ {
145
+ *xb = *xa; *xa = v; ++xa;
146
+ }
147
+ ++xb;
148
+ }
149
+ while (xc >= xb && *xc >= v)
150
+ {
151
+ if (*xc == v)
152
+ {
153
+ *xc = *xd; *xd = v; --xd;
154
+ }
155
+ --xc;
156
+ }
157
+ if (xb > xc) break;
158
+ SORT_SWAP1(*xb,*xc);
159
+ ++xb;
160
+ --xc;
161
+ }
162
+
163
+ a = xa - x0;
164
+ ba = xb - xa;
165
+ if (ba > a) s = a; else s = ba;
166
+ for (xl = x0, xh = xb-s; s > 0; --s)
167
+ {
168
+ *xl = *xh; *xh = v; ++xl; ++xh;
169
+ }
170
+ d = xd - x0;
171
+ dc = xd - xc;
172
+ if (dc > nn-1-d) s = nn-1-d; else s = dc;
173
+ for (xl = xb, xh = x0 + (nn-s); s > 0; --s)
174
+ {
175
+ *xh = *xl; *xl = v; ++xl; ++xh;
176
+ }
177
+
178
+ if (ba > dc)
179
+ {
180
+ if (ba > 1)
181
+ {
182
+ stack[top].addr = x0; stack[top].len = ba; ++top;
183
+ }
184
+ if (dc > 1)
185
+ {
186
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
187
+ }
188
+ }
189
+ else
190
+ {
191
+ if (dc > 1)
192
+ {
193
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
194
+ }
195
+ if (ba > 1)
196
+ {
197
+ stack[top].addr = x0; stack[top].len = ba; ++top;
198
+ }
199
+ }
200
+ }
201
+ }
202
+ #endif
203
+
204
+ #if SORT_OF_SORT == 2
205
+ #ifndef SORT_TYPE2
206
+ #error "SORT_TYPE2 must be defined before including sorttemplates.c"
207
+ #endif
208
+
209
+ SORT_FUNCTYPE
210
+ SORT_NAME(SORT_TYPE1 *x, SORT_TYPE2 *y, int n)
211
+ {
212
+ int i,j;
213
+ int a,d,ba,dc,s,nn;
214
+ SORT_TYPE2 tmp2,*y0,*ya,*yb,*yc,*yd,*yl,*yh;
215
+ SORT_TYPE1 tmp1,v,v1,v2,v3;
216
+ SORT_TYPE1 *x0,*xa,*xb,*xc,*xd,*xh,*xl;
217
+ struct {SORT_TYPE1 *addr; int len;} stack[40];
218
+ int top;
219
+
220
+ top = 0;
221
+ if (n > 1)
222
+ {
223
+ stack[top].addr = x;
224
+ stack[top].len = n;
225
+ ++top;
226
+ }
227
+
228
+ while (top > 0)
229
+ {
230
+ --top;
231
+ x0 = stack[top].addr;
232
+ y0 = y + (x0-x);
233
+ nn = stack[top].len;
234
+
235
+ if (nn < SORT_MINPARTITION)
236
+ {
237
+ for (i = 1; i < nn; ++i)
238
+ {
239
+ tmp1 = x0[i];
240
+ tmp2 = y0[i];
241
+ for (j = i; x0[j-1] > tmp1; )
242
+ {
243
+ x0[j] = x0[j-1];
244
+ y0[j] = y0[j-1];
245
+ if (--j == 0) break;
246
+ }
247
+ x0[j] = tmp1;
248
+ y0[j] = tmp2;
249
+ }
250
+ continue;
251
+ }
252
+
253
+ if (nn < SORT_MINMEDIAN9)
254
+ v = SORT_MEDIAN_OF_3(x0[0],x0[nn/2],x0[nn-1]);
255
+ else
256
+ {
257
+ v1 = SORT_MEDIAN_OF_3(x0[0],x0[1],x0[2]);
258
+ v2 = SORT_MEDIAN_OF_3(x0[nn/2-1],x0[nn/2],x0[nn/2+1]);
259
+ v3 = SORT_MEDIAN_OF_3(x0[nn-3],x0[nn-2],x0[nn-1]);
260
+ v = SORT_MEDIAN_OF_3(v1,v2,v3);
261
+ }
262
+
263
+ xa = xb = x0; xc = xd = x0+(nn-1);
264
+ ya = yb = y0; yc = yd = y0+(nn-1);
265
+ for (;;)
266
+ {
267
+ while (xb <= xc && *xb <= v)
268
+ {
269
+ if (*xb == v)
270
+ {
271
+ *xb = *xa; *xa = v; ++xa;
272
+ SORT_SWAP2(*ya,*yb); ++ya;
273
+ }
274
+ ++xb; ++yb;
275
+ }
276
+ while (xc >= xb && *xc >= v)
277
+ {
278
+ if (*xc == v)
279
+ {
280
+ *xc = *xd; *xd = v; --xd;
281
+ SORT_SWAP2(*yc,*yd); --yd;
282
+ }
283
+ --xc; --yc;
284
+ }
285
+ if (xb > xc) break;
286
+ SORT_SWAP1(*xb,*xc);
287
+ SORT_SWAP2(*yb,*yc);
288
+ ++xb; ++yb;
289
+ --xc; --yc;
290
+ }
291
+
292
+ a = xa - x0;
293
+ ba = xb - xa;
294
+ if (ba > a) s = a; else s = ba;
295
+ for (xl = x0, xh = xb-s, yl = y0, yh = yb-s; s > 0; --s)
296
+ {
297
+ *xl = *xh; *xh = v; ++xl; ++xh;
298
+ SORT_SWAP2(*yl,*yh); ++yl; ++yh;
299
+ }
300
+ d = xd - x0;
301
+ dc = xd - xc;
302
+ if (dc > nn-1-d) s = nn-1-d; else s = dc;
303
+ for (xl = xb, xh = x0+(nn-s), yl = yb, yh = y0+(nn-s); s > 0; --s)
304
+ {
305
+ *xh = *xl; *xl = v; ++xl; ++xh;
306
+ SORT_SWAP2(*yl,*yh); ++yl; ++yh;
307
+ }
308
+
309
+ if (ba > dc)
310
+ {
311
+ if (ba > 1)
312
+ {
313
+ stack[top].addr = x0; stack[top].len = ba; ++top;
314
+ }
315
+ if (dc > 1)
316
+ {
317
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
318
+ }
319
+ }
320
+ else
321
+ {
322
+ if (dc > 1)
323
+ {
324
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
325
+ }
326
+ if (ba > 1)
327
+ {
328
+ stack[top].addr = x0; stack[top].len = ba; ++top;
329
+ }
330
+ }
331
+ }
332
+ }
333
+ #endif
334
+
335
+ #if SORT_OF_SORT == 3
336
+ #ifndef SORT_TYPE2
337
+ #error "SORT_TYPE2 must be defined before including sorttemplates.c"
338
+ #endif
339
+
340
+ SORT_FUNCTYPE
341
+ SORT_NAME(SORT_TYPE1 *x, SORT_TYPE2 *y, int n)
342
+ {
343
+ int i,j;
344
+ int a,d,ba,dc,s,nn;
345
+ SORT_TYPE2 tmp2,v,v1,v2,v3;
346
+ SORT_TYPE1 tmp1,*x0,*xa,*xb,*xc,*xd,*xh,*xl;
347
+ struct {SORT_TYPE1 *addr; int len;} stack[40];
348
+ int top;
349
+
350
+ top = 0;
351
+ if (n > 1)
352
+ {
353
+ stack[top].addr = x;
354
+ stack[top].len = n;
355
+ ++top;
356
+ }
357
+
358
+ while (top > 0)
359
+ {
360
+ --top;
361
+ x0 = stack[top].addr;
362
+ nn = stack[top].len;
363
+
364
+ if (nn < SORT_MINPARTITION)
365
+ {
366
+ for (i = 1; i < nn; ++i)
367
+ {
368
+ tmp1 = x0[i];
369
+ tmp2 = y[tmp1];
370
+ for (j = i; y[x0[j-1]] > tmp2; )
371
+ {
372
+ x0[j] = x0[j-1];
373
+ if (--j == 0) break;
374
+ }
375
+ x0[j] = tmp1;
376
+ }
377
+ continue;
378
+ }
379
+
380
+ if (nn < SORT_MINMEDIAN9)
381
+ v = SORT_MEDIAN_OF_3(y[x0[0]],y[x0[nn/2]],y[x0[nn-1]]);
382
+ else
383
+ {
384
+ v1 = SORT_MEDIAN_OF_3(y[x0[0]],y[x0[1]],y[x0[2]]);
385
+ v2 = SORT_MEDIAN_OF_3(y[x0[nn/2-1]],y[x0[nn/2]],y[x0[nn/2+1]]);
386
+ v3 = SORT_MEDIAN_OF_3(y[x0[nn-3]],y[x0[nn-2]],y[x0[nn-1]]);
387
+ v = SORT_MEDIAN_OF_3(v1,v2,v3);
388
+ }
389
+
390
+ xa = xb = x0; xc = xd = x0+(nn-1);
391
+ for (;;)
392
+ {
393
+ while (xb <= xc && y[*xb] <= v)
394
+ {
395
+ if (y[*xb] == v)
396
+ {
397
+ SORT_SWAP1(*xa,*xb); ++xa;
398
+ }
399
+ ++xb;
400
+ }
401
+ while (xc >= xb && y[*xc] >= v)
402
+ {
403
+ if (y[*xc] == v)
404
+ {
405
+ SORT_SWAP1(*xc,*xd); --xd;
406
+ }
407
+ --xc;
408
+ }
409
+ if (xb > xc) break;
410
+ SORT_SWAP1(*xb,*xc);
411
+ ++xb;
412
+ --xc;
413
+ }
414
+
415
+ a = xa - x0;
416
+ ba = xb - xa;
417
+ if (ba > a) s = a; else s = ba;
418
+ for (xl = x0, xh = xb-s; s > 0; --s)
419
+ {
420
+ SORT_SWAP1(*xl,*xh); ++xl; ++xh;
421
+ }
422
+ d = xd - x0;
423
+ dc = xd - xc;
424
+ if (dc > nn-1-d) s = nn-1-d; else s = dc;
425
+ for (xl = xb, xh = x0 + (nn-s); s > 0; --s)
426
+ {
427
+ SORT_SWAP1(*xl,*xh); ++xl; ++xh;
428
+ }
429
+
430
+ if (ba > dc)
431
+ {
432
+ if (ba > 1)
433
+ {
434
+ stack[top].addr = x0; stack[top].len = ba; ++top;
435
+ }
436
+ if (dc > 1)
437
+ {
438
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
439
+ }
440
+ }
441
+ else
442
+ {
443
+ if (dc > 1)
444
+ {
445
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
446
+ }
447
+ if (ba > 1)
448
+ {
449
+ stack[top].addr = x0; stack[top].len = ba; ++top;
450
+ }
451
+ }
452
+ }
453
+ }
454
+ #endif
455
+
456
+ #if SORT_OF_SORT == 4
457
+ #ifndef SORT_COMPARE
458
+ #error "SORT_COMPARE must be defined before including sorttemplates.c"
459
+ #endif
460
+
461
+ SORT_FUNCTYPE
462
+ SORT_NAME(SORT_TYPE1 *x, int n)
463
+ {
464
+ int i,j;
465
+ int a,d,ba,dc,s,nn;
466
+ SORT_TYPE1 tmp2,v,v1,v2,v3;
467
+ SORT_TYPE1 tmp1,*x0,*xa,*xb,*xc,*xd,*xh,*xl;
468
+ struct {SORT_TYPE1 *addr; int len;} stack[40];
469
+ int top;
470
+
471
+ top = 0;
472
+ if (n > 1)
473
+ {
474
+ stack[top].addr = x;
475
+ stack[top].len = n;
476
+ ++top;
477
+ }
478
+
479
+ while (top > 0)
480
+ {
481
+ --top;
482
+ x0 = stack[top].addr;
483
+ nn = stack[top].len;
484
+
485
+ if (nn < SORT_MINPARTITION)
486
+ {
487
+ for (i = 1; i < nn; ++i)
488
+ {
489
+ tmp1 = x0[i];
490
+ for (j = i; SORT_COMPARE(tmp1,x0[j-1]) < 0; )
491
+ {
492
+ x0[j] = x0[j-1];
493
+ if (--j == 0) break;
494
+ }
495
+ x0[j] = tmp1;
496
+ }
497
+ continue;
498
+ }
499
+
500
+ if (nn < SORT_MINMEDIAN9)
501
+ v = F_SORT_MEDIAN_OF_3(SORT_COMPARE,x0[0],x0[nn/2],x0[nn-1]);
502
+ else
503
+ {
504
+ v1 = F_SORT_MEDIAN_OF_3(SORT_COMPARE,x0[0],x0[1],x0[2]);
505
+ v2 = F_SORT_MEDIAN_OF_3(SORT_COMPARE,x0[nn/2-1],x0[nn/2],x0[nn/2+1]);
506
+ v3 = F_SORT_MEDIAN_OF_3(SORT_COMPARE,x0[nn-3],x0[nn-2],x0[nn-1]);
507
+ v = F_SORT_MEDIAN_OF_3(SORT_COMPARE,v1,v2,v3);
508
+ }
509
+
510
+ xa = xb = x0; xc = xd = x0+(nn-1);
511
+ for (;;)
512
+ {
513
+ while (xb <= xc && SORT_COMPARE(*xb,v) <= 0)
514
+ {
515
+ if (SORT_COMPARE(*xb,v) == 0)
516
+ {
517
+ SORT_SWAP1(*xa,*xb); ++xa;
518
+ }
519
+ ++xb;
520
+ }
521
+ while (xc >= xb && SORT_COMPARE(*xc,v) >= 0)
522
+ {
523
+ if (SORT_COMPARE(*xc,v) == 0)
524
+ {
525
+ SORT_SWAP1(*xc,*xd); --xd;
526
+ }
527
+ --xc;
528
+ }
529
+ if (xb > xc) break;
530
+ SORT_SWAP1(*xb,*xc);
531
+ ++xb;
532
+ --xc;
533
+ }
534
+
535
+ a = xa - x0;
536
+ ba = xb - xa;
537
+ if (ba > a) s = a; else s = ba;
538
+ for (xl = x0, xh = xb-s; s > 0; --s)
539
+ {
540
+ SORT_SWAP1(*xl,*xh); ++xl; ++xh;
541
+ }
542
+ d = xd - x0;
543
+ dc = xd - xc;
544
+ if (dc > nn-1-d) s = nn-1-d; else s = dc;
545
+ for (xl = xb, xh = x0 + (nn-s); s > 0; --s)
546
+ {
547
+ SORT_SWAP1(*xl,*xh); ++xl; ++xh;
548
+ }
549
+
550
+ if (ba > dc)
551
+ {
552
+ if (ba > 1)
553
+ {
554
+ stack[top].addr = x0; stack[top].len = ba; ++top;
555
+ }
556
+ if (dc > 1)
557
+ {
558
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
559
+ }
560
+ }
561
+ else
562
+ {
563
+ if (dc > 1)
564
+ {
565
+ stack[top].addr = x0+(nn-dc); stack[top].len = dc; ++top;
566
+ }
567
+ if (ba > 1)
568
+ {
569
+ stack[top].addr = x0; stack[top].len = ba; ++top;
570
+ }
571
+ }
572
+ }
573
+ }
574
+ #endif
575
+
576
+ #undef SORT_NAME
577
+ #undef SORT_OF_SORT
578
+ #undef SORT_TYPE1
579
+ #undef SORT_TYPE2
580
+ #undef SORT_COMPARE