The following behaviour seems to be strange.
A domain has a local parameter and it happens that the parameter name of a
function implemented in the same domain is identical. According to the usual
rules during the block of the function, the parameter from the parameterlist
should make the domain parameter invisible. Not in Axiom/Fricas: it uses the
domain parameter and ignores the parameter from the parameter list.
I cannot imagine that his behaviour is on purpose, in this case one should get
at least a warning. I would prefer this being fixed.
matutpbg.spad:
)abb package MATUTPBG MatrixUtilityPackageBug
MatrixUtilityPackageBug(R : Ring):
public == private where
PI ==> PositiveInteger
NNI ==> NonNegativeInteger
public ==> with
identicalParameterNames: List PI -> List PI
private ==> add
cycles : List PI := []
identicalParameterNames(cycles: List PI) : List PI ==
newcycles : List PI := cons(111, cycles)
and here an application:
(154) -> identicalParameterNames([23])$MATUTPBG(Integer)
(154) [111]
--
Mit freundlichen Grüßen
Johannes Grabmeier
Prof. Dr. Johannes Grabmeier
Köckstr. 1, D-94469-Deggendorf
Tel.-pv. +49-(0)-991-2979-584, Tel.-mob. 0171-550-3789
Tel.-d +49-(0)-991-3615-141, Sekr. -154
Fax-p: +49-(0)-1803-5518-17745
--
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.
)abb package MATUTPBG MatrixUtilityPackageBug
MatrixUtilityPackageBug(R : Ring):
public == private where
PI ==> PositiveInteger
NNI ==> NonNegativeInteger
public ==> with
identicalParameterNames: List PI -> List PI
private ==> add
cycles : List PI := []
identicalParameterNames(cycles: List PI) : List PI ==
newcycles : List PI := cons(111, cycles)
