https://github.com/chakravala/fieldalgebra.jl
Field-algebra based on Group / Ring symbolic vector module extension
https://github.com/chakravala/fieldalgebra.jl
algebra algebraic-data-types algebraic-structures commutative-algebra computer-algebra group-theory julia math mathematics multivariate-polynomials polynomial-arithmetic polynomials vector
Last synced: 6 days ago
JSON representation
Field-algebra based on Group / Ring symbolic vector module extension
- Host: GitHub
- URL: https://github.com/chakravala/fieldalgebra.jl
- Owner: chakravala
- License: agpl-3.0
- Created: 2022-09-19T14:36:08.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2025-04-12T16:39:13.000Z (3 months ago)
- Last Synced: 2025-06-13T02:08:34.963Z (23 days ago)
- Topics: algebra, algebraic-data-types, algebraic-structures, commutative-algebra, computer-algebra, group-theory, julia, math, mathematics, multivariate-polynomials, polynomial-arithmetic, polynomials, vector
- Language: Julia
- Homepage:
- Size: 40 KB
- Stars: 9
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# FieldAlgebra.jl
*Field-algebra based on Group / Ring symbolic vector module extension*
[](https://zenodo.org/badge/latestdoi/538546202)
[](https://ci.appveyor.com/project/chakravala/fieldalgebra-jl)Work in progress of abelian `Group` implementation which is extended to `Field` algebra.
```Julia
julia> @ring xyz x y zjulia> 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](https://github.com/chakravala/Similitude.jl) and [MeasureSystems.jl](https://github.com/chakravala/MeasureSystems.jl) to implement dimensional group algebra.