geogenParameterType Complex Type

geogenParameterType

Namespace: Empty

Schema: Empty

Base Type
Usages
Children
NameOccurrencesDescription
All All
      Element catalogParameterUID

UID of the parameter as defined in the component catalog used by GeoGen.

      Element initialValue[0, 1]

Initial value of the parameter. Only used during the internal optimization of parameters of type 'free'

      Element max[0, 1]

Upper boundary value for the parameter. Only used during the internal optimization of parameters of type 'free'

      Element min[0, 1]

Lower boundary value for the parameter. Only used during the internal optimization of parameters of type 'free'

      Element step[0, 1]

Initial step for the optimization of the parameter. Only used for parameters of type 'free'

      Element 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)

      Element value

Actual value of the parameter

Attributes
NameTypeRequiredDescription
Attribute externalDataDirectorySimple Type string
Attribute externalDataNodePathSimple Type string
Attribute externalFileNameSimple Type string
Attribute uIDSimple Type string

An optional unique ID that can be used as a reference to the parameter

Remarks
The geogenParameterType contains the definition of a GeoGen parameter.