Hello folks,
In the process of coding convenience domains, Spad does not allow
default parameters, I encountered the following during
the compilation of a domain:
==================================================================
augmenting (NemoRealBall): (PatternMatchable (Integer))
(time taken in buildFunctor: 465137)
Time: 0.68 SEC.
Warnings:
[1] unknown Functor code (jl_eval_string NACB256=AcbField(256))
Cumulative Statistics for Constructor NemoComplexBall
Time: 0.86 seconds
>> System error:
Invalid index 256 for (SIMPLE-VECTOR 84), should be a non-negative
integer below 84.
=====================================================================
In fact, from tests, it should be below 85 here.
The offending piece of code is:
================================================================
Implementation ==> NemoAcbField(256) add
import from JuliaUtilityFunctions
================================================================
If I replace 256 by 2*64*2 or 2^8 the code is cleanly compiled. So I
wonder if this is a known bug (?) in the Spad compiler or if I need to
try to code a simpler example to reproduce it? The code requires other
categories/domains to be compiled but it is here:
https://github.com/gvanuxem/jlfricas/blob/master/src/algebra/jnball.spad
beginning at line 563. The strange thing here is that almost the same
code compiles for NemoRealBall. At the question, just in case, why not use
NemoComplexBall() == NemoAcbBall(256) the response is that a global
variable needs to be defined at domain load time in Julia and if I use
"NemoComplexBall() == NemoArbBall(256)", the variable will not be defined in
NemoAcbBall when using NemoComplexBall as a domain parameter
(Uni/Multi-VariatePolynomial for example).
So should I try to code a simpler example, or is it already a known
problem? If this is a problem of course, not an unsupported code.
- Greg
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dYfj8F3RaTSAJYLEfJsGAe-51QkPiXXOZghaBOSBzxZqA%40mail.gmail.com.
