Greetings, and thanks so much for your feedback! I've gotten it down to these gensyms in the |catlist| variable in |knownInfo1|:
(((|Hashable|) T) ((|canonicalsClosed|) T) ((|Canonical|) T) ((|OpenMath|) T) ((|ConvertibleTo| (|String|)) T) ((|PolynomialFactorizationExplicit|) T) ((|LinearlyExplicitOver| (|Integer|)) T) ((|multiplicativeValuation|) T) ((|canonicalUnitNormal|) T) ((|StepThrough|) T) ((|ConvertibleTo| #:G1) T) ((|RealConstant|) T) ((|CombinatorialFunctionCategory|) T) ((|PatternMatchable| #:G16) T) ((|ConvertibleTo| #:G15) T) ((|ConvertibleTo| #:G14) T) ((|RetractableTo| #:G13) T) ((|ConvertibleTo| #:G12) T) ((|DifferentialRing|) T) ((|CharacteristicZero|) T) ((|PartialOrder|) T) ((|OrderedRing|) T) ((|OrderedIntegralDomain|) T) ((|EuclideanDomain|) T) ((|LeftOreRing|) T) ((|noZeroDivisors|) T) ((|CommutativeStar|) T) ((|Module| %) T) ((|Algebra| %) T) ((|unitsKnown|) T) ((|NonAssociativeRing|) T) ((|Monoid|) T) ((|MagmaWithUnit|) T) ((|SemiRing|) T) ((|RightModule| %) T) ((|SemiRng|) T) ((|AbelianGroup|) T) ((|CoercibleTo| #:G0) T)) Should be: (((|Hashable|) T) ((|canonicalsClosed|) T) ((|Canonical|) T) ((|OpenMath|) T) ((|ConvertibleTo| (|String|)) T) ((|PolynomialFactorizationExplicit|) T) ((|LinearlyExplicitOver| (|Integer|)) T) ((|multiplicativeValuation|) T) ((|canonicalUnitNormal|) T) ((|StepThrough|) T) ((|ConvertibleTo| (|Float|)) T) ((|RealConstant|) T) ((|CombinatorialFunctionCategory|) T) ((|PatternMatchable| (|Integer|)) T) ((|ConvertibleTo| (|Pattern| (|Integer|))) T) ((|ConvertibleTo| (|InputForm|)) T) ((|RetractableTo| (|Integer|)) T) ((|ConvertibleTo| (|Integer|)) T) ((|DifferentialRing|) T) ((|CharacteristicZero|) T) ((|PartialOrder|) T) ((|OrderedRing|) T) ((|OrderedIntegralDomain|) T) ((|EuclideanDomain|) T) ((|LeftOreRing|) T) ((|noZeroDivisors|) T) ((|CommutativeStar|) T) ((|Module| %) T) ((|Algebra| %) T) ((|unitsKnown|) T) ((|NonAssociativeRing|) T) ((|Monoid|) T) ((|MagmaWithUnit|) T) ((|SemiRing|) T) ((|RightModule| %) T) ((|SemiRng|) T) ((|AbelianGroup|) T) ((|CoercibleTo| (|OutputForm|)) T)) Narrowing..... Take care, Waldek Hebisch <[email protected]> writes: > On Wed, Mar 06, 2024 at 10:11:01AM -0500, Camm Maguire wrote: >> Greetings! Thanks so much -- it was the replacement of (|restart|) with >> (|spad|) that confused me. >> >> Any other insights or suggestions on how to quickly pin down the error I >> report below? > > This could be bug in Spad compiler, triggered by different form of > S-expression (parts of expressions are sorted in implementation-dependent > way). I will try to look deeper into this, but ATM I am traveling, and > can not do this. > >> >> Take care, >> >> Qian Yun <[email protected]> writes: >> >> > (1) -> )help fin >> > ==================================================================== >> > A.10. )fin >> > ==================================================================== >> > >> > User Level Required: development >> > >> > Command Syntax: >> > >> > - )fin >> > >> > Command Description: >> > >> > This command is used by FriCAS developers to leave the FriCAS system and >> > return to the underlying Lisp system. To return to FriCAS, issue the >> > ``(|spad|)'' function call to Lisp. >> > >> > >> > >> > >> > This works for SBCL. Not sure about GCL. >> > >> > - Qian >> > >> > On 3/6/24 00:40, Camm Maguire wrote: >> >> Greetings! Has fricas removed axiom's )fin (restart) pair? How does >> >> one escape to/from lisp at the fricas prompt? >> >> Take care, >> >> Camm Maguire <[email protected]> writes: >> >> >> >>> Greetings, and thanks so much for the suggestion! >> >>> >> >>> This works. I now have a 2.7.0 and fricas tree with minor modifications >> >>> ready for commit but for (I think) one remaining problem. 2.6.14 >> >>> compiles my fricas tree just fine, but 2.7.0 gives two identical errors >> >>> compiling the algebra: >> >>> >> >>> )compile GUESSINT.spad >> >>> Compiling FriCAS source code from file >> >>> /mnt/sda4/debian/fricas/src/algebra/GUESSINT.spad using old >> >>> system compiler. >> >>> GUESSINT abbreviates package GuessInteger >> >>> ****** comp fails at level 2 with expression: ****** >> >>> (|Sel| (|Expression| (|Integer|)) |retract|) >> >>> ****** level 2 ****** >> >>> $x:= ((Sel (Expression (Integer)) retract) G1) >> >>> $m:= (Fraction (Integer)) >> >>> $f:= >> >>> ((((#:G1 #) (* #) (+ #) (- #) ...))) >> >>> >> Apparent user error: >> >>> not known that (Expression (Integer)) has (OR (AND (has (Integer) >> >>> (IntegralDomain)) (has (Integer) (RetractableTo (Integer)))) (has >> >>> (Integer) (RetractableTo (Fraction (Integer))))) >> >>> >> >>> I'm digging into this and will find it eventually, but if you have any >> >>> debugging suggestions I'm sure that would speed things up. >> >>> >> >>> Take are, >> >>> >> >>> >> >>> Waldek Hebisch <[email protected]> writes: >> >>> >> >>>> On Sat, Mar 02, 2024 at 08:56:14AM -0500, Camm Maguire wrote: >> >>>>> Greetings! Grégory, will reply to your post in separate email. But in >> >>>>> general there are several places where fricas creates calls to 'list >> >>>>> which exceed GCL's call-arguments-limit when translating boot files to >> >>>>> .clisp. 2.6.x was not rigorous about enforcing this, but 2.7.0 is. >> >>>>> Where should I look in the boot parser source to suggest a patch >> >>>>> breaking this into an nconc of several compliant list calls, or better >> >>>>> yet just writing a quoted list (since apparently all contents are >> >>>>> strings) which the reader can handle just fine? >> >>>> >> >>>> AFAICS this is handled in 'src/boot/tytree1.boot'. Note that in >> >>>> FriCAS lists are mutable and Boot code makes significant use of >> >>>> of mutation. So translating _all_ list construction to quoted >> >>>> lists would be wrong. Boot really does not look at control/data >> >>>> flow so finding out possibilties to use quoted lists is probably >> >>>> not practical. >> >>>> >> >>>> The simplest solution may be shadowing Lisp LIST and using a macro >> >>>> instead. >> >>> >> >>> -- Camm Maguire >> >>> [email protected] >> >>> ========================================================================== >> >>> "The earth is but one country, and mankind its citizens." -- >> >>> Baha'u'llah >> >> >> >> -- >> Camm Maguire [email protected] >> ========================================================================== >> "The earth is but one country, and mankind its citizens." -- Baha'u'llah >> >> -- >> 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/87sf132y62.fsf%40maguirefamily.org. > > -- > Waldek Hebisch -- Camm Maguire [email protected] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah -- 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/87frx32nym.fsf%40maguirefamily.org.
