properties

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Feb 16, 2026 License: Apache-2.0 Imports: 7 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func NewLowLevelUniformPrimeFieldElementGenerator 

func NewLowLevelUniformPrimeFieldElementGenerator[FPtr impl.PrimeFieldElementPtrLowLevel[FPtr, F], F any](t *testing.T, elementSize int) *rapid.Generator[FPtr]

Types

type FiniteFieldalLowLevel 

type FiniteFieldalLowLevel[FPtr impl.FiniteFieldElementPtrLowLevel[FPtr, F], F any] struct {
	RingalLowLevel[FPtr, F]
	// contains filtered or unexported fields
}

func NewLowLevelFiniteFieldalPropertySuite 

func NewLowLevelFiniteFieldalPropertySuite[FPtr impl.FiniteFieldElementPtrLowLevel[FPtr, F], F any](t *testing.T, elementGen *rapid.Generator[FPtr]) *FiniteFieldalLowLevel[FPtr, F]

func (*FiniteFieldalLowLevel[RPtr, R]) CanDivideByNonZero 

func (s *FiniteFieldalLowLevel[RPtr, R]) CanDivideByNonZero(t *testing.T)

func (*FiniteFieldalLowLevel[FPtr, F]) CanSerialiseToComponents 

func (s *FiniteFieldalLowLevel[FPtr, F]) CanSerialiseToComponents(t *testing.T)

func (*FiniteFieldalLowLevel[FPtr, F]) CheckAll 

func (s *FiniteFieldalLowLevel[FPtr, F]) CheckAll(t *testing.T)

func (*FiniteFieldalLowLevel[FPtr, F]) MultiplicationHasNonZeroInverse 

func (s *FiniteFieldalLowLevel[FPtr, F]) MultiplicationHasNonZeroInverse(t *testing.T)

func (*FiniteFieldalLowLevel[FPtr, F]) MultiplicationIsCommutative 

func (s *FiniteFieldalLowLevel[FPtr, F]) MultiplicationIsCommutative(t *testing.T)

type GroupalLowLevel 

type GroupalLowLevel[E impl.GroupElementPtrLowLevel[E, T], T any] struct {
	MonoidalLowLevel[E, T]
}

func NewLowLevelGroupalPropertySuite 

func NewLowLevelGroupalPropertySuite[E impl.GroupElementPtrLowLevel[E, T], T any](
	t *testing.T,
	elementGen *rapid.Generator[E],
	isCommutative bool,
) *GroupalLowLevel[E, T]

func (*GroupalLowLevel[E, T]) CanNegate 

func (p *GroupalLowLevel[E, T]) CanNegate(t *testing.T)

func (*GroupalLowLevel[E, T]) CanSubtract 

func (p *GroupalLowLevel[E, T]) CanSubtract(t *testing.T)

func (*GroupalLowLevel[E, T]) CheckAll 

func (p *GroupalLowLevel[E, T]) CheckAll(t *testing.T)

type MonoidalLowLevel 

type MonoidalLowLevel[E impl.MonoidElementPtrLowLevel[E, T], T any] struct {
	// contains filtered or unexported fields
}

func NewLowLevelMonoidalPropertySuite 

func NewLowLevelMonoidalPropertySuite[E impl.MonoidElementPtrLowLevel[E, T], T any](t *testing.T, g *rapid.Generator[E], isCommutative bool) *MonoidalLowLevel[E, T]

func (*MonoidalLowLevel[E, T]) AdditionIsAssociative 

func (p *MonoidalLowLevel[E, T]) AdditionIsAssociative(t *testing.T)

func (*MonoidalLowLevel[E, T]) AdditionIsCommutative 

func (p *MonoidalLowLevel[E, T]) AdditionIsCommutative(t *testing.T)

func (*MonoidalLowLevel[E, T]) CanConditionallySelect 

func (p *MonoidalLowLevel[E, T]) CanConditionallySelect(t *testing.T)

func (*MonoidalLowLevel[E, T]) CanEquate 

func (p *MonoidalLowLevel[E, T]) CanEquate(t *testing.T)

func (*MonoidalLowLevel[E, T]) CanSerializeDeserialize 

func (p *MonoidalLowLevel[E, T]) CanSerializeDeserialize(t *testing.T)

func (*MonoidalLowLevel[E, T]) CanSet 

func (p *MonoidalLowLevel[E, T]) CanSet(t *testing.T)

func (*MonoidalLowLevel[E, T]) CheckAll 

func (p *MonoidalLowLevel[E, T]) CheckAll(t *testing.T)

func (*MonoidalLowLevel[E, T]) Double 

func (p *MonoidalLowLevel[E, T]) Double(t *testing.T)

func (*MonoidalLowLevel[E, T]) ZeroIsIdentifiable 

func (p *MonoidalLowLevel[E, T]) ZeroIsIdentifiable(t *testing.T)

func (*MonoidalLowLevel[E, T]) ZeroIsNeutralElement 

func (p *MonoidalLowLevel[E, T]) ZeroIsNeutralElement(t *testing.T)

type PrimeFieldalLowLevel 

type PrimeFieldalLowLevel[FPtr impl.PrimeFieldElementPtrLowLevel[FPtr, F], F any] struct {
	FiniteFieldalLowLevel[FPtr, F]
	// contains filtered or unexported fields
}

func NewLowLevelPrimeFieldalPropertySuite 

func NewLowLevelPrimeFieldalPropertySuite[FPtr impl.PrimeFieldElementPtrLowLevel[FPtr, F], F any](t *testing.T, g *rapid.Generator[FPtr]) *PrimeFieldalLowLevel[FPtr, F]

func (*PrimeFieldalLowLevel[FPtr, F]) CanSerialiseToLimbs 

func (s *PrimeFieldalLowLevel[FPtr, F]) CanSerialiseToLimbs(t *testing.T)

func (*PrimeFieldalLowLevel[FPtr, F]) CanSetWideBytes 

func (s *PrimeFieldalLowLevel[FPtr, F]) CanSetWideBytes(t *testing.T)

func (*PrimeFieldalLowLevel[FPtr, F]) CheckAll 

func (s *PrimeFieldalLowLevel[FPtr, F]) CheckAll(t *testing.T)

type RingalLowLevel 

type RingalLowLevel[RPtr impl.RingElementPtrLowLevel[RPtr, R], R any] struct {
	GroupalLowLevel[RPtr, R]
}

func NewLowLevelRingalPropertySuite 

func NewLowLevelRingalPropertySuite[RPtr impl.RingElementPtrLowLevel[RPtr, R], R any](t *testing.T, elementGen *rapid.Generator[RPtr]) *RingalLowLevel[RPtr, R]

func (*RingalLowLevel[RPtr, R]) CanSquare 

func (s *RingalLowLevel[RPtr, R]) CanSquare(t *testing.T)

func (*RingalLowLevel[RPtr, R]) CheckAll 

func (s *RingalLowLevel[RPtr, R]) CheckAll(t *testing.T)

func (*RingalLowLevel[RPtr, R]) MaybeCanDivide 

func (s *RingalLowLevel[RPtr, R]) MaybeCanDivide(t *testing.T)

func (*RingalLowLevel[RPtr, R]) MaybeHaveMultiplicativeInverse 

func (s *RingalLowLevel[RPtr, R]) MaybeHaveMultiplicativeInverse(t *testing.T)

func (*RingalLowLevel[RPtr, R]) MaybeHaveSquareRoot 

func (s *RingalLowLevel[RPtr, R]) MaybeHaveSquareRoot(t *testing.T)

func (*RingalLowLevel[RPtr, R]) MultiplicationHasIdentity 

func (s *RingalLowLevel[RPtr, R]) MultiplicationHasIdentity(t *testing.T)

func (*RingalLowLevel[RPtr, R]) MultiplicationIsAssociate 

func (s *RingalLowLevel[RPtr, R]) MultiplicationIsAssociate(t *testing.T)

func (*RingalLowLevel[RPtr, R]) MultiplicationIsLeftDistributive 

func (s *RingalLowLevel[RPtr, R]) MultiplicationIsLeftDistributive(t *testing.T)

func (*RingalLowLevel[RPtr, R]) MultiplicationIsRightDistributive 

func (s *RingalLowLevel[RPtr, R]) MultiplicationIsRightDistributive(t *testing.T)

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.