FieldAlgebra.jl

Field-algebra based on Group / Ring symbolic vector module extension

Work in progress of abelian Group implementation which is extended to Field algebra.

julia> @ring xyz x y z

julia> x*y^2
xy²

julia> ans/x
y²

julia> x+y^2
x + y²

There are more undocumented features which will be explained once the design matures.

Fundamental principle of design is to construct Field algebra from an abelian Group algebra construction built on a vector space module.

Used in Similitude.jl and MeasureSystems.jl to implement dimensional group algebra.