OKlibrary  0.2.1.6
general.hpp File Reference

Plans for the (deprecated) Mupad-module. More...

Go to the source code of this file.


Detailed Description

Plans for the (deprecated) Mupad-module.

Deprecated:
To be replaced by Maxima.
Todo:
Rewrite hypergraph transversal functions in Maxima
  • Mupad/Orthogonal.mup : Hypergraphs transversals
    1. streichen, hinzufuegen, streichen_bedingt
    2. union_S, star
    3. ist_exakt_transversal
    4. Transversals_exakt (decides whether a hypergraph is an exact transversal hypergraph)
    5. enthaelt_disjunkt
    6. ist_speziell_exakt_transversal (decides whether a hypergraph is of the special form of exact transversal hypergraphs according to the conjecture)
    7. Transversals : DONE
    8. sub_min_l, sub_min, ist_sub_min : DONE
Todo:
Rewriting: All modules are to be redesigned and reimplemented in Maxima
  • Mupad/Design.mup : Just the incidence matrix of the Fano plane.
  • Mupad/Hilfsfunktionen.mup : Various general functions
    1. lesenHilfsfunktionen
    2. NormMod
    3. SYSTEM
    4. Zahl : DONE (available via reverse(polyadic2int(L,B)))
    5. untfak
    6. obfak
    7. fac
    8. vuntfak
    9. vbinom
    10. ExtHad
    11. MatrixRowList
    12. RowPermutation
    13. ZeroesMatrix
  • Mupad/Orthogonal.mup : others than above
    1. Singular reductions : DONE
      1. MUSAT1, SMUSAT1, MMUSAT1 : DONE (todo in ComputerAlgebra/Satisfiability/Lisp/MinimalUnsatisfiability/plans/general.hpp)
      2. SingDPuncontracted, ISingDPuncontracted : DONE (todo in Satisfiability/Lisp/Reductions/plans/DP-Reductions.hpp)
      3. SingExt : DONE
      4. ISingExt : DONE
    2. PNNIndices, herm, hermdef, kernKV, hermdefKV : DONE
  • Mupad/SATCounting.mup : Precise calculations of satisfiability probabilities in the standard random-formula model (constant density)
  • Mupad/TestenFormelGenAES.mup : Testing the random clause-set generator
  • Mupad/VanderWaerden.mup : Computing optimal resolution trees etc. for van der Waerden-clause-sets
  • DONE (moved elsewhere) Mupad/tau.mup : See ComputerAlgebra/Satisfiability/TauMachinery/plans/general.hpp.

Definition in file general.hpp.