Hello,
In MKPF1, the operator test is case sensitive which prevents me to ')show NRB'
(1) -> )sh NRB
NMRealBall is a domain constructor.
Abbreviation for NMRealBall is NRB
This constructor is exposed in this frame.
debugger invoked on a SIMPLE-CONDITION in thread
#<THREAD tid=5327 "main thread" RUNNING {1201A60003}>:
break
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [CONTINUE] Return from BREAK.
1: [ABORT ] Exit from the current thread.
(MKPF1 ((|has| % (|arbitraryExponent|))) NOT)
error finding frame source: Bogus form-number: the source file has probably
changed too much to cope with.
source: NIL
0]
The following though improveable probably, I do not master case
sensitive things in FriCAS, fixes this.
The domain in question is just a convenient domain:
)abbrev domain NRB NMRealBall
++ Description: convenience domain to reflect
++ Nemo ArbField(), i.e. without parameters.
NMRealBall() == NMArbField(256)
====================================================
└─$ diff --context=15 /home/greg/Tmp/fricas/src/interp/g-boot.boot
src/interp/g-boot.boot
*** /home/greg/Tmp/fricas/src/interp/g-boot.boot 2025-06-27
14:04:22.114709313 +0200
--- src/interp/g-boot.boot 2025-06-27 14:06:33.774699422 +0200
***************
*** 534,551 ****
--- 534,553 ----
op = "and" =>
l := REMOVE(true, REMOVE("true", l))
NULL(l) => true
rest(l) => ["and", :l]
first(l)
op = "AND" =>
l := REMOVE(true, REMOVE("true", l))
NULL(l) => ["QUOTE", true]
rest(l) => ["AND", :l]
first(l)
op = "PROGN" =>
l := REMOVE(nil, l)
NULL(l) => nil
rest(l) => ["PROGN", :l]
first(l)
+ op = "NOT" =>
+ [op, :l]
op = "not" =>
[op, :l]
BREAK()
- Greg
--
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/CAHnU2daxfgmcqLsf49NoLnj%2BN-nHisr_B2tm1aTDn90Rg%2B3hUQ%40mail.gmail.com.
