trace

Documentation

Index

• type ExtPolynomial
• type Trace
  • func MergeMatching(lhs, rhs Trace) (Trace, error)
  • func New(capacity ...int) Trace
  • func (t Trace) GetField(name string) (field.Kind, bool)
  • func (t Trace) PutBase(name string, c poly.Polynomial) error
  • func (t Trace) PutExt(name string, c ExtPolynomial) error
  • func (t Trace) SetBase(name string, c poly.Polynomial)
  • func (t Trace) SetExt(name string, c ExtPolynomial)
  • func (t Trace) ShallowClone() Trace

Types

type ExtPolynomial

type ExtPolynomial = poly.ExtPolynomial

ExtPolynomial is a column whose coefficients live in the Koalabear E6 extension field.

type Trace

type Trace struct {
	Base map[string]poly.Polynomial
	Ext  map[string]ExtPolynomial
}

Trace contains base-field and extension-field columns. Base columns are the user-supplied trace and the current runtime path; extension columns are added by later mixed-field refactor steps.

func MergeMatching

func MergeMatching(lhs, rhs Trace) (Trace, error)

MergeMatching overlays rhs into lhs. If a column exists in both traces, the values must match exactly. Polynomial slices are shared with the inputs.

func New

func New(capacity ...int) Trace

func (Trace) GetField

func (t Trace) GetField(name string) (field.Kind, bool)

func (Trace) PutBase

func (t Trace) PutBase(name string, c poly.Polynomial) error

checked registration

func (Trace) PutExt

func (t Trace) PutExt(name string, c ExtPolynomial) error

checked registration

func (Trace) SetBase

func (t Trace) SetBase(name string, c poly.Polynomial)

raw map assignment

func (Trace) SetExt

func (t Trace) SetExt(name string, c ExtPolynomial)

raw map assignment

func (Trace) ShallowClone

func (t Trace) ShallowClone() Trace

ShallowClone returns a trace with copied maps and shared polynomial slices.