You beat me to it :)
However, the bug caused by arbitrary indexed matrix is
still there:
diff --git a/src/algebra/mama.spad b/src/algebra/mama.spad
index 33a6a32..9dd7a38 100644
--- a/src/algebra/mama.spad
+++ b/src/algebra/mama.spad
@@ -114,7 +114,7 @@
rows(A : M, lst : LI) : M ==
oldk1331 wrote:
> OK, I'll fix subMatrix to allow LIST INT, I'm doing that,
> which means almost all signatures in mama.spad
> need fixing.
I have just commited changes to mama.spad. I also generalised
it to allow not only matrices but also arrays.
> Meanwhile, new problems:
>
> rows(A:M,
Currently equality in AlgebraicNumber uses 'trueEqual' from
InnerAlgebraicNumber. The effect is that 'a = b' in AlgebraicNumber
returns true if and only if some conjugate of 'a - b' is zero.
In normal case, when kernels are independent this makes
no difference. Namely, as long as we deal with a f
OK, I'll fix subMatrix to allow LIST INT, I'm doing that,
which means almost all signatures in mama.spad
need fixing.
Meanwhile, new problems:
rows(A:M, lst:LI) : M ==
nc := ncols(A)
nc = 0 => zero(#lst, nc)$M
Should we allow matrix that have zero rows or zero columns?
zero
oldk1331 wrote:
>
> I'm a little confused: don't you think this is a bug in interpreter,
> of the part doing automatic type lifting? And should be fixed
> there?
The bug is effect of interactions from several parts:
- declarations in algebra
- rules used in interpreter
Concerning interpreter:
>
> minRowIndex returns INT, but one of subMatrix's signature is:
> [1] (D1,List(PositiveInteger),List(PositiveInteger)) -> D1
>
> That means subMatrix can't take matrices that with negative
> index. One way is to fix subMatrix to let it take LIST INT
> as arguments, but I want to go with the ot
>
> Hi Waldek,
>
> how should FriCAS be cited in a journal article?
Just give URL: fricas.sf.net
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this g
Hi Waldek,
how should FriCAS be cited in a journal article?
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 fricas-devel+unsubscr...@g
There is some (very old) documentation here:
http://axiom-wiki.newsynthesis.org/public/refs/axiom-p56-sutor.pdf
and some experiments documented here:
http://axiom-wiki.newsynthesis.org/SandBoxInterpIFunselBoot
I think it might make sense to favor homogeneous operations in
(almost?) all cases. F