On 08/20/2014 12:55 AM, Waldek Hebisch wrote:
> Current use pattern is:
>
> c_lindep := ConstantLinearDependence(R, F, [(c : F) : F +-> D(c, x)])
> sys1 := reducedSystem(m1, vector([dg])$Vector(F))$c_lindep
>
> That is, variable is a parameter and we need to create domain before
> each call. Note: it does not matter that typically 'x' will be the
> same as in previous call. It _may_ change and we need to dully
> call constructor. For me this is more clumsy than passing derivatives
> as an argument to 'reducedSystem'.
You may have realized from my first mail that I am not totally against
such a change, but I still find your arguments rather weak. The above
two lines are the *only* place where ConstantLinearDependence is
actually used.
After your change we would have something like
c_lindep := ConstantLinearDependence(R, F)
ld ==> [(c : F) : F +-> D(c, x)]
sys1 := reducedSystem(m1, vector([dg])$Vector(F), ld)$c_lindep
That's probably not necessarily much better, except that it would mean
fewer creations of this domain.
However, if it is done in this way, I would claim that the whole
existence of ConstantLinearDependence is questionable. It only exists to
lift some maps.
BTW, inside I discover
F ==> Expression R
EF==> Expression F
Strange that this works. It doesn't in the interpreter.
(1) -> R ==> Integer
(2) -> F ==> Expression R
(3) -> EF==> Expression F
(4) -> 1
(4) 1
(5) -> r: R := 1
(5) 1
Type: Integer
(6) -> e: E := 1
(6) 1
Type: Expression(Integer)
(7) -> ef: EF := 1
Expression(Expression(Integer)) is not a valid type.
Ralf
--
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.
