Documentation ¶
Overview ¶
Code generated for package expreduce by go-bindata DO NOT EDIT. (@generated) sources: resources/arithmetic.m resources/atoms.m resources/boolean.m resources/calculus.m resources/combinatorics.m resources/comparison.m resources/equationdata.m resources/expression.m resources/flowcontrol.m resources/functional.m resources/init.m resources/list.m resources/manip.m resources/matrix.m resources/numbertheory.m resources/pattern.m resources/plot.m resources/power.m resources/random.m resources/replacement.m resources/rubi/1.1.1 Linear binomial products.m resources/rubi/1.1.3 General binomial products.m resources/rubi/1.1.4 Improper binomial products.m resources/rubi/1.2.1 Quadratic trinomial products.m resources/rubi/1.2.2 Quartic trinomial products.m resources/rubi/1.2.3 General trinomial products.m resources/rubi/1.2.4 Improper trinomial products.m resources/rubi/1.3 Miscellaneous algebraic functions.m resources/rubi/2 Exponentials.m resources/rubi/3 Logarithms.m resources/rubi/4.1 Sine.m resources/rubi/4.2 Tangent.m resources/rubi/4.3 Secant.m resources/rubi/4.4 Miscellaneous trig functions.m resources/rubi/5 Inverse trig functions.m resources/rubi/6 Hyperbolic functions.m resources/rubi/7 Inverse hyperbolic functions.m resources/rubi/8 Special functions.m resources/rubi/9.1 Integrand simplification rules.m resources/rubi/9.2 Derivative integration rules.m resources/rubi/9.3 Piecewise linear functions.m resources/rubi/9.4 Miscellaneous integration rules.m resources/rubi/Integration Utility Functions.m resources/rubi/MakeRubiMxFile.m resources/rubi/README resources/rubi/Rubi.m resources/rubi/Rubi4.12.nb resources/rubi/ShowStep Routines.m resources/rubi.m resources/rubi_loader.m resources/simplify.m resources/solve.m resources/sort.m resources/specialsyms.m resources/stats.m resources/string.m resources/system.m resources/tests.m resources/time.m resources/trig.m
Index ¶
- func ActualStringFormArgsFull(form string, es expreduceapi.EvalStateInterface) expreduceapi.ToStringParams
- func Asset(name string) ([]byte, error)
- func AssetDir(name string) ([]string, error)
- func AssetInfo(name string) (os.FileInfo, error)
- func AssetNames() []string
- func EasyRun(in string, es expreduceapi.EvalStateInterface) string
- func EvalInterp(src string, es expreduceapi.EvalStateInterface) expreduceapi.Ex
- func EvalInterpMany(doc string, fn string, es expreduceapi.EvalStateInterface) expreduceapi.Ex
- func MustAsset(name string) []byte
- func ReadList(doc string, fn string, es expreduceapi.EvalStateInterface) expreduceapi.Ex
- func RestoreAsset(dir, name string) error
- func RestoreAssets(dir, name string) error
- type Definition
- type EvalState
- func (es *EvalState) Clear(name string)
- func (es *EvalState) ClearAll()
- func (es *EvalState) Define(lhs expreduceapi.Ex, rhs expreduceapi.Ex)
- func (es *EvalState) Eval(expr expreduceapi.Ex) expreduceapi.Ex
- func (es *EvalState) GetDef(name string, lhs expreduceapi.Ex) (expreduceapi.Ex, bool, expreduceapi.ExpressionInterface)
- func (es *EvalState) GetDefined(name string) (expreduceapi.Def, bool)
- func (es *EvalState) GetDefinedMap() expreduceapi.DefinitionMap
- func (es *EvalState) GetDefinedSnapshot() expreduceapi.DefinitionMap
- func (es *EvalState) GetListDef(name string) expreduceapi.ExpressionInterface
- func (es *EvalState) GetLogger() expreduceapi.LoggingInterface
- func (es *EvalState) GetReapSown() expreduceapi.ExpressionInterface
- func (es *EvalState) GetStreamManager() expreduceapi.StreamManager
- func (es *EvalState) GetStringDef(name string, defaultVal string) string
- func (es *EvalState) GetStringFn(headStr string) (expreduceapi.ToStringFnType, bool)
- func (es *EvalState) GetSymDef(name string) (expreduceapi.Ex, bool)
- func (es *EvalState) GetTimeCounter() *timecounter.Group
- func (es *EvalState) GetTrace() expreduceapi.ExpressionInterface
- func (es *EvalState) HasThrown() bool
- func (es *EvalState) Init(loadAllDefs bool)
- func (es *EvalState) IsDef(name string) bool
- func (es *EvalState) IsFrozen() bool
- func (es *EvalState) IsInterrupted() bool
- func (es *EvalState) MarkSeen(name string)
- func (es *EvalState) ProcessTopLevelResult(in expreduceapi.Ex, out expreduceapi.Ex) expreduceapi.Ex
- func (es *EvalState) SetDefined(name string, def expreduceapi.Def)
- func (es *EvalState) SetFrozen(frozen bool)
- func (es *EvalState) SetReapSown(ex expreduceapi.ExpressionInterface)
- func (es *EvalState) SetTrace(newTrace expreduceapi.ExpressionInterface)
- func (es *EvalState) Throw(e expreduceapi.ExpressionInterface)
- func (es *EvalState) Thrown() expreduceapi.ExpressionInterface
- type ExampleOnlyInstruction
- type NamedDefSet
- type ResetState
- type SameTest
- type SameTestEx
- type StringTest
- type TestComment
- type TestInstruction
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func ActualStringFormArgsFull ¶
func ActualStringFormArgsFull( form string, es expreduceapi.EvalStateInterface, ) expreduceapi.ToStringParams
func Asset ¶
Asset loads and returns the asset for the given name. It returns an error if the asset could not be found or could not be loaded.
func AssetDir ¶
AssetDir returns the file names below a certain directory embedded in the file by go-bindata. For example if you run go-bindata on data/... and data contains the following hierarchy:
data/ foo.txt img/ a.png b.png
then AssetDir("data") would return []string{"foo.txt", "img"} AssetDir("data/img") would return []string{"a.png", "b.png"} AssetDir("foo.txt") and AssetDir("notexist") would return an error AssetDir("") will return []string{"data"}.
func AssetInfo ¶
AssetInfo loads and returns the asset info for the given name. It returns an error if the asset could not be found or could not be loaded.
func EasyRun ¶
func EasyRun(in string, es expreduceapi.EvalStateInterface) string
EasyRun evaluates a string of Expreduce code and returns the result as a string.
func EvalInterp ¶
func EvalInterp( src string, es expreduceapi.EvalStateInterface, ) expreduceapi.Ex
func EvalInterpMany ¶
func EvalInterpMany( doc string, fn string, es expreduceapi.EvalStateInterface, ) expreduceapi.Ex
func MustAsset ¶
MustAsset is like Asset but panics when Asset would return an error. It simplifies safe initialization of global variables.
func ReadList ¶
func ReadList( doc string, fn string, es expreduceapi.EvalStateInterface, ) expreduceapi.Ex
func RestoreAsset ¶
RestoreAsset restores an asset under the given directory
func RestoreAssets ¶
RestoreAssets restores an asset under the given directory recursively
Types ¶
type Definition ¶
type Definition struct { // The symbol name, like "Mean", and "Total" Name string Usage string // Currently used for SetDelayed, since other definitions depend on // SetDelayed, we define it first. Bootstrap bool OmitDocumentation bool Details string SimpleExamples []TestInstruction FurtherExamples []TestInstruction Tests []TestInstruction KnownFailures []TestInstruction KnownDangerous []TestInstruction Attributes []string Default string // contains filtered or unexported fields }
The Definition struct provides metadata about a builtin function.
func (*Definition) AnnotateWithDynamic ¶
func (def *Definition) AnnotateWithDynamic(es expreduceapi.EvalStateInterface)
AnnotateWithDynamic annotates a Definition with anything else that might have been defined dynamically, perhaps through the initialization of the builtin function through builtin Expreduce code. Helpful in generating documentation.
type EvalState ¶
type EvalState struct { // Embedded type for logging logging.CASLogger NoInit bool // contains filtered or unexported fields }
EvalState keeps track of the state of the Expreduce interpreter. It contains all definitions and any evaluation bits.
func NewEvalState ¶
func NewEvalState() *EvalState
func (*EvalState) Define ¶
func (es *EvalState) Define(lhs expreduceapi.Ex, rhs expreduceapi.Ex)
func (*EvalState) Eval ¶
func (es *EvalState) Eval(expr expreduceapi.Ex) expreduceapi.Ex
Eval evaluates an expression and returns the resulting expression.
func (*EvalState) GetDef ¶
func (es *EvalState) GetDef( name string, lhs expreduceapi.Ex, ) (expreduceapi.Ex, bool, expreduceapi.ExpressionInterface)
func (*EvalState) GetDefined ¶
func (es *EvalState) GetDefined(name string) (expreduceapi.Def, bool)
func (*EvalState) GetDefinedMap ¶
func (es *EvalState) GetDefinedMap() expreduceapi.DefinitionMap
func (*EvalState) GetDefinedSnapshot ¶
func (es *EvalState) GetDefinedSnapshot() expreduceapi.DefinitionMap
func (*EvalState) GetListDef ¶
func (es *EvalState) GetListDef(name string) expreduceapi.ExpressionInterface
func (*EvalState) GetLogger ¶
func (es *EvalState) GetLogger() expreduceapi.LoggingInterface
func (*EvalState) GetReapSown ¶
func (es *EvalState) GetReapSown() expreduceapi.ExpressionInterface
func (*EvalState) GetStreamManager ¶
func (es *EvalState) GetStreamManager() expreduceapi.StreamManager
func (*EvalState) GetStringDef ¶
func (*EvalState) GetStringFn ¶
func (es *EvalState) GetStringFn( headStr string, ) (expreduceapi.ToStringFnType, bool)
func (*EvalState) GetTimeCounter ¶
func (es *EvalState) GetTimeCounter() *timecounter.Group
func (*EvalState) GetTrace ¶
func (es *EvalState) GetTrace() expreduceapi.ExpressionInterface
func (*EvalState) IsInterrupted ¶
func (*EvalState) ProcessTopLevelResult ¶
func (es *EvalState) ProcessTopLevelResult( in expreduceapi.Ex, out expreduceapi.Ex, ) expreduceapi.Ex
func (*EvalState) SetDefined ¶
func (es *EvalState) SetDefined(name string, def expreduceapi.Def)
func (*EvalState) SetReapSown ¶
func (es *EvalState) SetReapSown(ex expreduceapi.ExpressionInterface)
func (*EvalState) SetTrace ¶
func (es *EvalState) SetTrace(newTrace expreduceapi.ExpressionInterface)
func (*EvalState) Throw ¶
func (es *EvalState) Throw(e expreduceapi.ExpressionInterface)
func (*EvalState) Thrown ¶
func (es *EvalState) Thrown() expreduceapi.ExpressionInterface
type ExampleOnlyInstruction ¶
type NamedDefSet ¶
type NamedDefSet struct { Name string Defs []Definition }
NamedDefSet provides a means of grouping Definitions under a category name. This is useful for generating documentation.
func GetAllDefinitions ¶
func GetAllDefinitions() (defs []NamedDefSet)
GetAllDefinitions returns a list of all builtin functions with metadata. The function returns a list organized by category.
type ResetState ¶
type ResetState struct{}
type SameTestEx ¶
type SameTestEx struct { Out expreduceapi.Ex In expreduceapi.Ex // contains filtered or unexported fields }
type StringTest ¶
type TestComment ¶
type TestComment struct {
Comment string
}
type TestInstruction ¶
type TestInstruction interface {
// contains filtered or unexported methods
}
Source Files ¶
- builtin.go
- builtin_arithmetic.go
- builtin_atoms.go
- builtin_boolean.go
- builtin_calculus.go
- builtin_combinatorics.go
- builtin_comparison.go
- builtin_equationdata.go
- builtin_expression.go
- builtin_flowcontrol.go
- builtin_functional.go
- builtin_list.go
- builtin_manip.go
- builtin_matrix.go
- builtin_numbertheory.go
- builtin_pattern.go
- builtin_plot.go
- builtin_power.go
- builtin_random.go
- builtin_replacement.go
- builtin_rubi.go
- builtin_simplify.go
- builtin_solve.go
- builtin_sort.go
- builtin_specialsyms.go
- builtin_stats.go
- builtin_string.go
- builtin_system.go
- builtin_tests.go
- builtin_time.go
- builtin_trig.go
- definition.go
- definition_map.go
- easyrun.go
- eval.go
- evalstate.go
- qfunctions.go
- replace.go
- resources.go
- string.go
- testing.go
- utils.go
Directories ¶
Path | Synopsis |
---|---|
Code generated for package rubi_snapshot by go-bindata DO NOT EDIT.
|
Code generated for package rubi_snapshot by go-bindata DO NOT EDIT. |
Package streammanager keeps track of open streams and allows for reading/writing to them.
|
Package streammanager keeps track of open streams and allows for reading/writing to them. |
Package timecounter provides functionality for aggregating times based on a string key.
|
Package timecounter provides functionality for aggregating times based on a string key. |