org.uacalc.eq

Class Equations

java.lang.Object

org.uacalc.eq.Equations

public class Equations
extends java.lang.Object

A class of static methods for equations.

Author:

ralph

Constructor Summary

Constructors

Constructor and Description
Equations()

Method Summary

Modifier and Type	Method and Description
static Equation	associativeLaw(OperationSymbol f)
static Equation	cyclicLaw(OperationSymbol f) Test if f(x0,x1,...,x{k-1}) = f(x{k-1},x0, ...,x{k-2}).
static Equation	firstSecondSymmetricLaw(OperationSymbol f) Arity must be at least 2.
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

Equations

public Equations()

Method Detail

associativeLaw

public static Equation associativeLaw(OperationSymbol f)

cyclicLaw

public static Equation cyclicLaw(OperationSymbol f)

Test if f(x0,x1,...,x{k-1}) = f(x{k-1},x0, ...,x{k-2}). The arity must be at least 1.

Parameters:

f -

Returns:

firstSecondSymmetricLaw

public static Equation firstSecondSymmetricLaw(OperationSymbol f)

Arity must be at least 2.

Parameters:

f - s function symbol with arity at least two

Returns:

main

public static void main(java.lang.String[] args)

Parameters:

args -