>
> (1) -> )show ListPackage
> ListPackage(T$: BasicType) is a package constructor
> Abbreviation for ListPackage is LISTPKG
> This constructor is not exposed in this frame.
> â â â â â â â â â â â â â â â â â â â â â â â â â â
> â â â â â Operations â â â â â â â â â â â â â â â â â
> â â â â â â â â â â â â â â â
> shiftLeft : List(T$) -> List(T$)
> cartesian : List(List(T$)) -> List(List(T$))
> cartesianPower : (List(T$),NonNegativeInteger) -> List(List(T$))
> minShift : List(T$) -> List(T$) if T$ has ORDSET
> splitList : ((T$ -> Boolean),List(T$)) -> Record(yes: List(T$),no: List(T$))
> topologicalSort : (((T$,T$) -> Boolean),List(T$)) -> List(T$)
> topologicalSort : (List(List(Boolean)),List(T$)) -> List(T$)
> topologicalSort! : (((T$,T$) -> Boolean),List(T$)) -> List(T$)
>
> ====
>
>
>
> This problem is not limited to ListPackage, it happens to
> any domain that has a type variable "T".
<snip>
> But I am not familiar with how database is constructed,
> and how only variable "T" gets special treatment.
ATM functions that display types are supposed to convert
T$ to T if needed. It seems that Hyperdoc gets this mostly
correctly. Other places are more hacky and sometimes there
is insufficient information to decide if T$ needs special handling.
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
