On Wed, Jul 03, 2024 at 08:50:10AM +0200, Ralf Hemmecke wrote:
> I do the following:
>
> Search for Constructor "Expression" in the Browse window of HyperDoc.
> Enter R=Integer.
> Klick on "Operations", then "eval", then "Implementations.
> At the 4th bullet I see "by domain FunctionSpace&(%, Integer):".
>
> That puzzled me a bit, because the sources say:
>
> FunctionSpace(R : Comparable) : Category == Definition where
>
> i.e. there is only one parameter. Why prints HyperDoc a % as the first
> parameter? Or is this a specific thing for default domains that I never came
> across before?
Default domains have one extra parameter, namely current domain.
Normally this is hidden, but shows up in HyperDoc. Sometimes
this shows in Spad code, for example in 'expr.spad' we have:
ESD ==> ExpressionSpace2_&(%, K)
used to access signatures from default domain that otherwise would
be hidden by override in Expression.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZoVba98whrJNDoZM%40fricas.org.
