Scratchpad used concepts from Barbara LIskov's CLU which was basically object-oriented. This is mentioned in the collected papers in the volume 10.1 https://www.google.com/search?client=firefox-b-1-d&q=CLU+programming+language https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system)
(As an amusing aside, the SANE version of Axiom (never released) was pure common lisp. There was no SPAD or BOOT. It used CLOS for structuring. It was so much easier and cleaner as CLOS supports a lot of useful features. It also made it possible to construct a parallel tower for working with theorems and proofs which enabled connecting LEAN theorems to things like Groups, Rings, etc. in a natural way. If the mood moved you it was trivial to change the internal representations.) Tim On Thursday, November 27, 2025 at 6:03:10 PM UTC-5 [email protected] wrote: > On 11/27/25 20:53, Grégory Vanuxem wrote: > > Relatively difficult to explain for a non-English speaker... > > I'm so sorry that I'm German speaking... ;-) > > > Yes, one my first principal concern is that CL structures are too > > much used. > > I am already lost here. > In principle you could implement SPAD without ever touching any LISP. > Lisp is an implementation detail. Aldor is very much like SPAD, but > there is C underneath. > > Take FRAC(INT): > > > > (1) -> 1/2 > > > > 1 (1) - 2 (2) -> (2) -> % pretend SExpression > > > > (2) (1 . 2) (3) -> TYPE_-OF(1/2)$Lisp > > Implementation detail. I bet in Aldor you wouldn't be able to do this, > since at runtime the fraction is certainly not stored as a lisp object. > > That said, yes, in FriCAS, the objects are eventually represented in > Lisp form, since this is the underlying language. If you call this the > "tight connection", then yes, it naturally is. > > > I need a CL class (<JLREF... >) to GC-it in Julia when it's CL GC-ed > > in FriCAS. > > Sorry, I must quit here. That is beyond my understanding. I have no idea > how you connect FriCAS with Julia. Obviously, you do it on a lisp level, > > > Moreover I have some difficulties, my fault, in creating them. All > > the POLYs stuff is somewhat a big piece of code, and for sure well > > done, but I am not in the head of the code's writers. > > As far as I remember, you can SPADCALL any function from FriCAS algebra. > Maybe a bit cumbersome, but with that you should be able to construct > polynomials. > > 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/33ed7ac9-4f36-4f83-8dfa-5f44c0160bc6n%40googlegroups.com.
