Class CliffordAlgebra<E>

java.lang.Object

org.episteme.core.mathematics.algebra.algebras.CliffordAlgebra<E>

All Implemented Interfaces:

AbelianGroup<CliffordAlgebra.Multivector<E>>, AbelianMonoid<CliffordAlgebra.Multivector<E>>, Group<CliffordAlgebra.Multivector<E>>, Magma<CliffordAlgebra.Multivector<E>>, Monoid<CliffordAlgebra.Multivector<E>>, Ring<CliffordAlgebra.Multivector<E>>, Semiring<CliffordAlgebra.Multivector<E>>, Set<CliffordAlgebra.Multivector<E>>

public class CliffordAlgebra<E>
extends Object
implements Ring<CliffordAlgebra.Multivector<E>>

Represents a Clifford Algebra (Geometric Algebra) over a field.

A Clifford Algebra is an associative algebra generated by a vector space V equipped with a quadratic form Q. It unifies scalars, vectors, bivectors, and higher-grade multivectors.

*

Reference:
Clifford, W. K. (1878). Applications of Grassmann's Extensive Algebra. American Journal of Mathematics, 1(4), 350-358.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CliffordAlgebra.Multivector<E>	Represents a Multivector.

Constructor Summary

Constructors

Constructor	Description
CliffordAlgebra(Field<E> scalarField, int dimension, E[] metric)

Method Summary

Modifier and Type	Method	Description
CliffordAlgebra.Multivector<E>	add(CliffordAlgebra.Multivector<E> a, CliffordAlgebra.Multivector<E> b)	Returns the sum of two elements (additive notation).
boolean	contains(CliffordAlgebra.Multivector<E> element)	Tests whether this set contains the specified element.
String	description()	Returns a human-readable description of this set.
CliffordAlgebra.Multivector<E>	getBasisBlade(int bitmask)	Creates a basis blade with coefficient 1.
CliffordAlgebra.Multivector<E>	inverse(CliffordAlgebra.Multivector<E> element)	Returns the inverse of the given element.
boolean	isCommutative()	Abelian groups are always commutative by definition.
boolean	isEmpty()	Returns true if this set contains no elements.
boolean	isMultiplicationCommutative()	Tests whether multiplication is commutative in this semiring.
CliffordAlgebra.Multivector<E>	multiply(CliffordAlgebra.Multivector<E> a, CliffordAlgebra.Multivector<E> b)	Returns the product of two elements.
CliffordAlgebra.Multivector<E>	negate(CliffordAlgebra.Multivector<E> element)	Returns the additive inverse (negation) of an element.
CliffordAlgebra.Multivector<E>	one()	Returns the multiplicative identity (one element).
CliffordAlgebra.Multivector<E>	operate(CliffordAlgebra.Multivector<E> left, CliffordAlgebra.Multivector<E> right)	Performs the binary operation on two elements.
CliffordAlgebra.Multivector<E>	scalar(E value)	Creates a scalar multivector.
CliffordAlgebra.Multivector<E>	zero()	Returns the additive identity (zero element).

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface AbelianGroup

subtract

Methods inherited from interface AbelianMonoid

identity

Methods inherited from interface Monoid

isAssociative

Methods inherited from interface Ring

hasUnity

Methods inherited from interface Semiring

pow

Constructor Details

CliffordAlgebra

public CliffordAlgebra(Field<E> scalarField,
 int dimension,
 E[] metric)

Method Details

getBasisBlade

public CliffordAlgebra.Multivector<E> getBasisBlade(int bitmask)

Creates a basis blade with coefficient 1.

Parameters:

bitmask - the bitmask representing the blade (e.g. 3 for e1^e2)

Returns:

the basis blade multivector

scalar

public CliffordAlgebra.Multivector<E> scalar(E value)

Creates a scalar multivector.

Parameters:

value - the scalar value

Returns:

the multivector

operate

public CliffordAlgebra.Multivector<E> operate(CliffordAlgebra.Multivector<E> left,
 CliffordAlgebra.Multivector<E> right)

Description copied from interface: Magma

Performs the binary operation on two elements.

This is the fundamental operation of a magma. The result must be an element of this magma (closure property).

Properties: None required (not necessarily associative or commutative)

Specified by:

operate in interface Magma<E>

Parameters:

left - the first operand

right - the second operand

Returns:

the result of a ∗ b

See Also:

• Magma.isAssociative()
• Magma.isCommutative()

add

public CliffordAlgebra.Multivector<E> add(CliffordAlgebra.Multivector<E> a,
 CliffordAlgebra.Multivector<E> b)

Description copied from interface: AbelianMonoid

Returns the sum of two elements (additive notation).

Delegates to Magma.operate(Object, Object).

Specified by:

add in interface AbelianMonoid<E>

Parameters:

a - the first addend

b - the second addend

Returns:

a + b

zero

public CliffordAlgebra.Multivector<E> zero()

Description copied from interface: AbelianMonoid

Returns the additive identity (zero element).

Delegates to AbelianMonoid.identity().

Specified by:

zero in interface AbelianMonoid<E>

Returns:

the zero element

negate

public CliffordAlgebra.Multivector<E> negate(CliffordAlgebra.Multivector<E> element)

Description copied from interface: AbelianGroup

Returns the additive inverse (negation) of an element.

Satisfies: a + (-a) = (-a) + a = 0

Specified by:

negate in interface AbelianGroup<E>

Parameters:

element - the element to negate

Returns:

-element

See Also:

• Group.inverse(Object)

inverse

public CliffordAlgebra.Multivector<E> inverse(CliffordAlgebra.Multivector<E> element)

Description copied from interface: Group

Returns the inverse of the given element.

For element a, returns a⁻¹ such that: a ∗ a⁻¹ = a⁻¹ ∗ a = e (identity).

Specified by:

inverse in interface Group<E>

Parameters:

element - the element to invert

Returns:

the inverse element

multiply

public CliffordAlgebra.Multivector<E> multiply(CliffordAlgebra.Multivector<E> a,
 CliffordAlgebra.Multivector<E> b)

Description copied from interface: Semiring

Returns the product of two elements.

Multiplication must be associative and distribute over addition.

Specified by:

multiply in interface Semiring<E>

Parameters:

a - the first factor

b - the second factor

Returns:

a × b

one

public CliffordAlgebra.Multivector<E> one()

Description copied from interface: Semiring

Returns the multiplicative identity (one element).

Satisfies: 1 × a = a × 1 = a for all elements a.

Specified by:

one in interface Semiring<E>

Returns:

the multiplicative identity

isCommutative

public boolean isCommutative()

Description copied from interface: AbelianGroup

Abelian groups are always commutative by definition.

Specified by:

isCommutative in interface AbelianGroup<E>

Specified by:

isCommutative in interface AbelianMonoid<E>

Specified by:

isCommutative in interface Group<E>

Specified by:

isCommutative in interface Magma<E>

Returns:

always true

isMultiplicationCommutative

public boolean isMultiplicationCommutative()

Description copied from interface: Semiring

Tests whether multiplication is commutative in this semiring.

Specified by:

isMultiplicationCommutative in interface Semiring<E>

Returns:

true if multiplication commutes

description

public String description()

Description copied from interface: Set

Returns a human-readable description of this set.

Examples:

• "ℝ (Real Numbers)"
• "ℤ/12ℤ (Integers modulo 12)"
• "{1, 2, 3, 4, 5}"

Specified by:

description in interface Set<E>

Returns:

a description of this set

isEmpty

public boolean isEmpty()

Description copied from interface: Set

Returns true if this set contains no elements.

The empty set (∅) is a fundamental concept in set theory. It is the unique set containing no elements.

Specified by:

isEmpty in interface Set<E>

Returns:

true if this set is empty

contains

public boolean contains(CliffordAlgebra.Multivector<E> element)

Description copied from interface: Set

Tests whether this set contains the specified element.

This is the fundamental operation of a set - membership testing.

Specified by:

contains in interface Set<E>

Parameters:

element - the element to test for membership

Returns:

true if this set contains the element, false otherwise

See Also:

• Set.isEmpty()
• invalid reference

  #size()