OKlibrary  0.2.1.6
general.hpp File Reference

Plans in general regarding ringframes. More...

Go to the source code of this file.


Detailed Description

Plans in general regarding ringframes.

Todo:
Organisation
Todo:
Write tests
Todo:
Homomorphisms
Todo:
Module "Operations"
  • Here operations *of* semirings are considered (while in module "Actions" a set acts *on* a semiring).
  • A ringframe can operate on a groupoid as a homomorphism into the transformation-prering; these constitute "premodules".
  • And a ringframe can operate on a commutative groupoid as a homomorphism into the endomorphism-semiring; these constitute "semimodules".
  • We need a plan what could go into "Operations", what into "Premodules", what into "Semimodules", what into "Modules", what into "Vectorspaces".
  • Since likely we want "Semimodules", "Modules" and "Vectorspaces", perhaps then we do not have "Operations", but only "Premodules" ?
  • Examples:
    1. "The natural operation of N" in ComputerAlgebra/Algebra/Lisp/Groupoids/Semigroups/plans/general.hpp.

Definition in file general.hpp.