geogenParametersType Complex Type |
geogenParametersType
Namespace: Empty
Schema: Empty
Name | Occurrences | Description |
---|---|---|
parameter | [1, *] | GeoGen parameter definition |
Name | Type | Required | Description |
---|---|---|---|
externalDataDirectory | string | ||
externalDataNodePath | string | ||
externalFileName | string |