parameter Element |
GeoGen parameter definition
Namespace: Empty
Schema: Empty
Name | Occurrences | Description |
---|---|---|
All | ||
catalogParameterUID | UID of the parameter as defined in the component catalog used by GeoGen. | |
initialValue | [0, 1] | Initial value of the parameter. Only used during the internal optimization of parameters of type 'free' |
max | [0, 1] | Upper boundary value for the parameter. Only used during the internal optimization of parameters of type 'free' |
min | [0, 1] | Lower boundary value for the parameter. Only used during the internal optimization of parameters of type 'free' |
step | [0, 1] | Initial step for the optimization of the parameter. Only used for parameters of type 'free' |
type | Parameter type can be 'fixed'(parameter is set to a fixed value) or 'free'(parameter value is set by GeoGen during the internal optimization process) | |
value | Actual value of the parameter |
Name | Type | Required | Description |
---|---|---|---|
externalDataDirectory | string | ||
externalDataNodePath | string | ||
externalFileName | string | ||
uID | string | An optional unique ID that can be used as a reference to the parameter |