| type Element |
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)
Namespace: Empty
Schema: Empty
Type
Content Type
stringParents
Attributes| Name | Type | Required | Description |
|---|---|---|---|
 externalDataDirectory | string | ||
| externalDataNodePath | string | ||
| externalFileName | string |
See Also