logarc SciMax Toolbox logcontract

SciMax Toolbox >> logconcoeffp

logconcoeffp

Option variable

logconcoeffp

Description

Default value: false

Controls which coefficients are contracted when using logcontract. It may be set to the name of a predicate function of one argument. E.g. if you like to generate SQRTs, you can do logconcoeffp:'logconfun$logconfun(m):=featurep(m,integer) or ratnump(m)$ . Then logcontract(1/2*log(x)); will give log(sqrt(x)).

logarc SciMax Toolbox logcontract