kfp wrote:
>
> I've noticed that the exported function *degree* in *DeRhamComplex* doesn't
> work (probably never did):
>
> degree : % -> I
> ++ degree(p) returns the homogeneous degree of p.
> (line 340 in derham.spad)
>
> e.g.
> (11) -> degree(dx)
> Internal Error
> The function degree with signature hashcode is missing from domain
> DeRhamComplex(Integer)(x y z)
>
> The function should be inherited from ExtAlgBasis/AntiSymm, consequently it
> should read:
>
> degree : % -> NNI
>
> This could easily be fixed in the next release.
Right. I will commit the change. What name should I use in
attribution line (email header just gives kfp, but we normally
use full name)?
>
> Furthermore, neither of the examples (in *the* *book, help*) to
> *CliffordAlgebra
> *work anymore. One has to omit *quadraticForm *in the consturctors.
Well, the examples in .htex files were updated. Once book is
regenerated from .htex files this (and several other things)
will propagate to book. IIUC correctly help files were
obtained via manual editing, unless somebody volunteers to
update them (or better, creates automatic procedure to
propagate material from .htex to them) they will stay as is.
> Finally, what's your opinion to the following matter?
>
> Extending DeRhamComplex with some functions like scalar product and Hodge
> dual with respect to some metric g, what would be preferable: to include a
> (set-able) default g into the domain or to give it as a parameter?
>
> For instance, in the first case one had to write
>
> setMetric([...]), dot(a,b), hodgeStar(a)
>
> or othewise
>
> dot(g,a,b), hodgeStar(g,a) ?
>
IMO parameter is better. If there is strong desire to avoid
giving parameter on each use, then we can create extra domain
having g as domain parameter. Then all forms from this domain
will use the same g.
--
Waldek Hebisch
[email protected]
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
