How to compile individual .spad files that have been modified?

[Ruosong Gao]

I am trying to make some improvements to the INTALG.spad file to fix the "trace 0" error commonly found when integrating higher-degree superelliptic integrals. However, I am unable to compile the modified INTALG.spad in the terminal as it depends on some other files, and even when I try to brute force "make" the entire fricas repo again, I end up getting the same errors- that there's a "double resultant package" that has to be compiled first.

Tried making the double resultant package and moving the resulting .nrlib around, no success. ChatGPT or Claude isn't helpful.

Any advice?

[Qian Yun]

First, after you make some changes, a fresh build should work,
right? (It should takes only a few minutes for a fresh build.)

Second, I assume you want to do "incremental build" after you
make changes to a file? Normally a "make" in the build dir
would not work -- it can have dependency issues, the Makefile
is not smart enough for "incremental build" like this.

You can do "incremental build" like this in a running session:
launch fricas first, then type ")co path/to/file.spad".
If there are no signature changes, the changes you make is
available in the session. Note that ")co" may invalid
previous kernel caches, so compile files first, run computations
after that.

- Best,
- Qian

> --
> 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 fricas-devel...@googlegroups.com <mailto:fricas-
> devel+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/fricas-
> devel/eb2226ec-00db-4d5f-8297-5ce8ae253c54n%40googlegroups.com <https://
> groups.google.com/d/msgid/fricas-devel/
> eb2226ec-00db-4d5f-8297-5ce8ae253c54n%40googlegroups.com?
> utm_medium=email&utm_source=footer>.