A little progress report: I arrived at one milestone, that is
searches are mostly working without comdb.text and libdb.text.
More precisely, currently in my working version "Detailed search"
is not working and there are some broken things in other searches.
But all that works works without comdb.te
A little update, I think that I am making progress. You may be
disappointed as most work is related to presentation and not
strictly data structures. By presentation affects data
structures.
At top level HyperDoc offers 10 searches. First 4 searches
serch for name of category, domain, package o
The AI isn't doing the problem solving. It is using the computer algebra
system
as a problem solver. This is similar to the way William Stein's Sagemath
connects to other systems to supply answers. The key difference is that
MCP is an open standard that can be used by anything, including LLMs.
The
" Suddenly all of the AIs know how to do computer algebra."
When chaptGPT 3.5 came out in 2022, I run one integration test file (MIT
integration problems) using
chaptgpt 3.5. At the time just to try it.
Had to type each problem by hand one by one into the command and copy
the result. May be th
It seems that it might take a day of hacking to connect to Claude AI
or other AI systems. The clearest example with code is at
https://www.youtube.com/watch?v=N3vHJcHBS-w&ab_channel=ShawTalebi
So if you want to try to connect to an AI to answer integration questions
this should provide sufficient
Wow. I really love that PDL:: site!
On the numeric front I have created a lisp version of BLAS and LAPACK
https://www.nongnu.org/axiom/axiom-website/bookvol10.5.pdf
as part of the distribution. There needs to be a test suite created as well
as SPAD "cover functions" and further detailed documentat
git clone https://github.com/axiom/daly
should give you the last known public version.
Camm has a public copy at
https://www.nongnu.org/axiom/axiom-website/faq.html
If you look at axiom/src/input you will find *.pamphlet test files.
They are really just *.tex (as are all .pamphlet files)
You can
On Fri, Jun 20, 2025 at 08:36:19AM -0400, James Cloos wrote:
> > "WH" == Waldek Hebisch writes:
>
> WH> I understand that some applications want custom fonts. But simple
> WH> application like HyperDoc should be able to work with system
> WH> fonts, we are not in font business.
>
> i cettai
Yes of couse. But you're looking very forward a lot I think. I follow that
since a lot of time.
I have asked, personally, to Brent, Nocedal etc. in 2007, for using their
code sources, https://metacpan.org/pod/PDL::Opt::NonLinear
they were very moneyable at that time. They agreed. I agree with Linu
Hello Tim, *,
Thanks for your response, but frankly speaking, I do not know how to
find your code. I tried to download Axiom, it is not easy.
I just found axiom_20210105dp1.tar.gz but apparently, right now, Camm
has done some improvements to find better/recent source code.
I have to try it.
- Gr
> "WH" == Waldek Hebisch writes:
WH> I understand that some applications want custom fonts. But simple
WH> application like HyperDoc should be able to work with system
WH> fonts, we are not in font business.
i cettainly never suggested custom fonts.
axiom from its initial floss release def
Hyperdoc, as Ralf points out, is outdated and needs to be replaced.
Browser-based Hyperdoc is clearly the last-years-technology way to go.
That would solve the font problem but is still "old school".
Actually, LLMs are clearly the way to go but I don't think most people
are up-to-speed on creating
Correction:
JimC> axiom from its initial floss release defaulted to fonts ibm x servers
JimC> supported due to ibm licensing adobe's t1 fonts.
Scratchpad development started on X10 and the fonts were a carry-over.
There was some discussion in 2005 or so related to the Adobe SVG viewer.
There is a
I know that many projects don't want to consider that fonts should be
included, however, when you include a specific set of fonts and install
them as a part of the build/installation process, you are giving a bit of
polish to your application.
Likewise, making it easy for the user to specify speci
On Thu, Jun 19, 2025 at 01:23:55AM -0400, James Cloos wrote:
> btw, speaking of hyperdoc,
>
> have the default fonts ever been updated to ones available in recent
> distributions?
>
> the original probably were fine on an ibm box, but were never okon an
> xfree or xorg box.
I do not think that w
Thank to all for comment. Ralf raised most important points,
so I will answer this first.
On Wed, Jun 11, 2025 at 08:59:14PM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
>
> as you know, I would like to let HyperDoc die.
> But, maybe that sound too extreme for what I actual
The various DAASE files exist because the original version of the system
was too large to contain that information in memory. The DAASE file
structure is a copy of the VMLISP file structure. The compress file
was added later because I needed to put Axiom on a tiny laptop (16k).
The idea was to keep
Greg,
I used the ++(letter) and --(letter) form for various things.
++X is used for algebra examples as shown above
These lines are output from )d op foo showing the user how to construct
valid
input to the function foo. This is useful because it is hard to guess how
to
contruct input of the req
On Sun, Jun 15, 2025 at 06:44:18PM +0200, Grégory Vanuxem wrote:
> I have deleted my mails, sorry. But something like:
>
> 7) -> jlDocumentation mod
> modTree modifyPointData modularFactor
> modularLambdamoduleSum
> mod_exp modpeval modularGcdPr
I have deleted my mails, sorry. But something like:
7) -> jlDocumentation mod
modTree modifyPointData modularFactor
modularLambdamoduleSum
mod_exp modpeval modularGcdPrimitive
modular_compose moduloP
modifyPoint modpreduction
Taking the idea from Ralf it seems that there could be a "hyperdoc" domain
that implements all of the functions necessary to create user documentation
with both text output and HTML output forms. From that domain it should
be possible to re-create Hyperdoc in a browser.
On Thursday, June 12, 202
Within algebra documentation for a function there are ++ and -- comments
The ++ comments are intended as documentation.
I have extended the meaning of ++ comments by appending a single letter.
For example in the 'map' function from 'StreamFunction3' you'll see
map : ((A,B) -> C,ST A,ST B) ->
Hello,
Le mer. 11 juin 2025 à 20:59, 'Ralf Hemmecke' via FriCAS - computer
algebra system a écrit :
>
> Hi Waldek,
>
> as you know, I would like to let HyperDoc die.
> But, maybe that sound too extreme for what I actually mean.
> And I agree to some extend to your plan for a new hyperdoc.
>
> Le
There was prior work with Dick Jenks, Jim Griesmer, etc but the Scratchpad
effort was later. James Davenport or Barry Trager might have the required
historical
knowledge.
Given the early time frame this could possibly support the Fortran rumor.
My understanding is that the initial Scratchpad sy
The function showdatabase might be useful. -- Tim
On Wednesday, June 11, 2025 at 5:18:59 PM UTC-4 p.broadb...@googlemail.com
wrote:
> Hi,
>
> I started on something similar to replacing Hyperdoc a while ago - in
> the context of an unfinished Aldor/Fricas IDE. The main idea is that
> Spad types
Hi,
I started on something similar to replacing Hyperdoc a while ago - in
the context of an unfinished Aldor/Fricas IDE. The main idea is that
Spad types held in daase files should be representable as Aldor
objects, and from those one can do all the querying needed to generate
HTML. Overall, it w
Hi Waldek,
as you know, I would like to let HyperDoc die.
But, maybe that sound too extreme for what I actually mean.
And I agree to some extend to your plan for a new hyperdoc.
Let me explain my wishes.
FriCAS should have an interface (in LISP or SPAD) that let's
SPAD or external programs get
I am looking at replacing HyperDoc code in Boot by Spad code.
You can ask why bother? Do not Ralf API code cover all? Well,
HyperDoc provides _much_ more functionality. Namely,
HyperDoc provides several views, with possibility of filtering.
Basic view, that is constructors allows selecting categ
28 matches
Mail list logo
