Class FreeGroup.Word

java.lang.Object

org.episteme.core.mathematics.algebra.groups.FreeGroup.Word

Enclosing class:

FreeGroup

public static class FreeGroup.Word
extends Object

A word in the free group. Represented as a list of integers. Positive k means generator k. Negative -k means inverse of generator k. 0 is invalid (or identity if list is empty).

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Field Summary

Fields

Modifier and Type	Field	Description
static final FreeGroup.Word	IDENTITY

Constructor Summary

Constructors

Constructor	Description
Word(List<Integer> symbols)

Method Summary

Modifier and Type	Method	Description
FreeGroup.Word	concatenate(FreeGroup.Word other)
boolean	equals(Object o)
int	hashCode()
FreeGroup.Word	inverse()
String	toString()

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

IDENTITY

public static final FreeGroup.Word IDENTITY

Constructor Details

Word

public Word(List<Integer> symbols)

Method Details

concatenate

public FreeGroup.Word concatenate(FreeGroup.Word other)

inverse

public FreeGroup.Word inverse()

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object