Ralf Hemmeck wrote:
>
> >>> I'd either call this generateHallBasis or hallBasis. I opt for the
> >>> first
>
> > need for disambiguation: if HallBasis is imported than
> > for the readers should be clear that 'basis' is Hall basis.
>
> In fact, the reason, why I called it "generateHallBasis" was that from
> the description I concluded that it is somehow like computing a Gr=F6bner
> basis from some initial data (well not from (ideal) generators, but some
> other data).
To make things clear: Hall basis is basis for free Lie algebra on
n generators over a ring. A priori it is not clear that free Lie
algebra is a free module, but there is a theorem saying that.
Hall basis is a particular basis of this free module (there are
some generalizations/variantions of this construction appearing
under different names). We need parameters because Hall basis
is infinite, so we can only produce some finite fragment.
The second parameter is used to limit size of returned fragment.
The first one is number of generators of the free algebra.
> And maybe it is an implementation detail of the SPAD compiler, but I
> don't see a reason why there couldn't be a local namespace for domains
> (and perhaps even for categories) as well. If I am not completely
> mistaken then the Aldor library even uses this in the implementation of
> List.
ATM Spad compiler can only handle flat namespace for constructors.
But logically we could (and probably will in the future) support
hierarhical constructor namespace. OTOH overloading for constuctors
is quite confusing both for people and for the compiler so I would
rather avoid it. So intead of long "atomic" name we could
have long "pathname" with short segments.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
