| parameter Element |
GeoGen parameter definition
Namespace: Empty
Schema: Empty
Type
ParentsChildren| 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 |
Attributes| 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 |
See Also