OKlibrary  0.2.1.6
general.hpp File Reference

Plans in general for algebra functionality via Maxima/Lisp. More...

Go to the source code of this file.


Detailed Description

Plans in general for algebra functionality via Maxima/Lisp.

Todo:
Abstract representation of structures
  • A natural "implicit" representation of a set is by a predicate set(x) (the elements of the set are all x such that set(x) = true).
  • Besides our "concrete" groupoids (etc.) [V,compo] we should consider "implicit" groupoids [set,compo], using such a set-predicate.
  • But the objects are still "concrete", that is, they can be put into a Maxima-set, and equality is just decided by is(a=b).
  • But if the objects involve for example functions (like the objects of the category of general graphs), then they cannot be put into a Maxima-set:
    1. A binary predicate "X_equalp(a,b)" for deciding the equality of objects a,b is needed.
    2. A fundamental problem is that none of the functions which use sets of elements can be used.
    3. So well, perhaps then operations on (repetition-free) lists are sufficient.
    4. We need a notion to distinguish between the two degrees of implicitness. Or perhaps this is not connected to the representation of a "set" (explicit or implicit), but is an additional qualification.
    5. Perhaps we say that objects have a "concrete representation" or an "abstract representation".
  • For an implicitly given base set to be "ordered" means to provide a binary predicate "<".
  • In ComputerAlgebra/Sets we should provide operations for implicitly given sets.
  • See "Forms of "constructive" groupoids in Algebra/Lisp/Groupoids/plans/general.hpp.
Todo:
Modules
  • One submodule for two sets A, B together with f: A x B -> B, i.e., Actions (including left and right actions).
    1. The alternative representation is as a map A -> B^B.
    2. An "action in general" is a map from a set to the set of endomorphisms of some structure.
    3. The question is whether actions e.g., on groupoids (via homomorphisms) etc. are to be found in module Groupoids or in module Actions?
    4. Then we have "operations" of a groupoid or a ringoid on some structure whose endomorphism-monoid can also be equipped with an "addition" in the second case, so that the operation then is homomorphism between groupoids resp. ringoids.
    5. This "addition" of morphisms is (typically? always?) the elementwise addition of functions.
    6. Most prominent the operation of a monoid on a set, the operation of a semiring on a semiring (semimodules), the operation of a ring on a ring (modules), and the operation of a field on a field (vector spaces).
    7. Special cases of the operation of a monoid on a set are all the variations on dynamical systems (see below).
    8. The operation of a monoid on a set generalised the notion of a finite automata.
    9. Normally the operation of a monoid on a set is just called an "act"; perhaps this does not clash with our terminology, since we speak of an "action" ?!
    10. So we could have, as the most prominent cases, (independent) modules "Acts" (for the operation of a semigroup/monoid on a set) and "Moduloids" (for semimodules, modules, and vector spaces), while the rest is found in the other modules.
  • DONE One module for sets with one binary operation: "Magmas" or "Groupoids". With submodules
    1. Actions (of a set on a set or a groupoid)
    2. Operations (of a groupoid on a set or on a groupoid; the more "specialised" considerations are in module Algebra/Acts)
    3. Groups (with submodules PermutationGroups and Presentations)
    4. Quasigroups
    5. Semigroups
    6. Semilattices
  • DONE (Ringframes) One module for sets with two binary operations; how to call it, "Ringoids" or "DoubleMagmas"?? There seems to be no notion for it. With submodules
    1. Fields (moving FiniteFields.mac there)
    2. Lattices
    3. Rings
    4. Semirings
  • DONE (possibly later, but not yet) Since groups are a big field on themselves, perhaps we emancipate it, making it a module on its own?
    1. Same for Fields (in Ringoids).
    2. And also Lattices (in Ringoids; of course, BooleanAlgebras are also a topic here?!?)
  • DONE Another organisational problem is what to do with the Lisp and Aldor submodules? Of course, we are already in the Lisp-part, and so can just ignore this question (for the moment).
  • Then we have UniversalAlgebra. But there are also relational structures, and more general, first-order structures?!?
    1. Perhaps we have a module ComputerAlgebra/Structures, which contains sub-modules AlgebraicStructures, RelationalStructures, FirstOrder.
    2. So perhaps we don't put universal algebra into Algebra.
    3. On the other hand, universal algebra is rather different from model theory etc., so that UniversalAlgebra probably should belong to Algebra.
Todo:
DONE (see above) Semirings, rings, fields
  • We need modules "Semirings", "Rings", "Fields".
  • Likely also "Lattices" etc.
Todo:
DONE Module UniversalAlgebra
Todo:
DONE Modular arithmetic
  • The rings ZZ_n should be provided.
Todo:
DONE Actions and operations
  • Likely we should also have a module for the action of a set on a set.
  • With the most prominent cases the action of a set on a monoid, and the operation of a group on a set.

Definition in file general.hpp.