OK, so if there's only category/domain constructor, but no
arguments, ')show' will give predicates in the databse, no
evaluation on that. I'm good with that.
> Note: First compilation probably will fail (it fails in FriCAS).
On my system it doesn't fail.
In your example, ')show XXX' gives
>
> Well, this is not a high profile bug, I just noticed that
> openaxiom doesn't have this problem.
Well, check the following file:
-
)abbrev category FOOAGG FooAgg
FooAgg(S : Type) : Category == with
if % has finiteAggregate and S has BasicType
I do not build in my development directory, but I do
")compile xxx.spad" very often, so mainly the temp
files are *.NRLIB/ , but not a big deal in my GUI (magit).
> No, because, I wanted to make an exact copy of the SVN repository (as
> long as we have not completely switched to git. So no extra
Well, this is not a high profile bug, I just noticed that
openaxiom doesn't have this problem. I looked at their
repo for a while, didn't find out how they did it.
So I'll add it to my bug list and try to fix it in the future.
> There is extra complicating factor: current code has a lot
> of
OK, got them, thanks.
BTW, have you considered to add .gitignore?
Here's mine, not very complete:
src/algebra/*.NRLIB/
src/algebra/[A-Z]*.spad
src/input/*.output
src/doc/*.help
src/doc/*.text
src/doc/*.input
src/doc/*.pht
src/doc/*.ht
**/stamp
**/Makefile
*.daase
*.clisp
*.fasl
*.o
--
You
You are quite correct about me being a github novice. With the latest
release of FriCAS I thought now would be a good time to try and track
future updates better.
Currently I have a very old (330 commits behind fricas:master) clone here:
https://github.com/martinbaker/fricas
This is setup