Bill, Okay that works.
Newbie question: why? I thought I was specifying the incoming data type.
Thanks for the more extensive response earlier; although at this stage
"commit" makes me laugh :)
I will try github.
Ray
On 07/02/2018 05:40 PM, Bill Page wrote:
Raymond,
Sorry for the delayed response. Perhaps you have already discovered
the solution.
The line:
factor_test(x::XDP , y::LIST(NCP)) ==
should actually read:
factor_test(x , y) ==
--
Bill Page.
On Wed, Jun 20, 2018 at 1:35 PM, Raymond Rogers
<[email protected]> wrote:
If anybody is running the ncpoly/non-commuting code:
While familiarizing myself with the coding and theory, I have run into a
simple syntax problem.
I have attached the changed files and the problem code is in (?)
test.input
The function factor_test() stalls on the "map()" line; whereas when I do the
same things manually
#map(rank,f_12)
for i in 1..n repeat m:=m*(fct_12(i)::XDP)
works fine.
In particular
-- Factor test
--
--
factor_test : (XDP,LIST(NCP))-> BOOLEAN
factor_test(x::XDP , y::LIST(NCP)) ==
m:=1::XDP;
n:=#map(rank,y)
for i in 1..n repeat m:=m*(y(i)::XDP)
test(x = m)
--
Which was supposed to automate the checking in the prior last line of
test.input
test(p_12 :: XDP = fct_12(1)::XDP * fct_12(2)::XDP)
to allow variable problem sizes
like so
factor_test(p_12::XDP,fct_12::LIST(NCP))
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
