Some code using "retract" breaks since V1.3.7. I couldn't figure out which
revs might be accountable for. Any clues?
Here a minimal sample:
)abbrev domain TSTXDP TestXDP
TestXDP() : Exports == Implementation where
R ==> Expression Integer
SYM ==> Symbol
XFS ==> XFreeAlgebra(SYM,R)
XDP ==> XDistributedPolynomial(SYM,R)
--
Exports == Join( XFS) with
makeIt : SYM -> %
Implementation == XDP add
Rep := XDP
makeIt(s:SYM):% == s::Rep
======
V1.3.5
======
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
TestXDP is now explicitly exposed in frame initial
TestXDP will be automatically loaded when needed from
/Users/kfp/Desktop/work/spad/pform/TSTXDP.NRLIB/TSTXDP
(1) -> )version
Value = "FriCAS 1.3.5 compiled at Mi, 17. Apr 2019 03:15:11"
(1) -> [X,Y,Z] := map(makeIt,[X,Y,Z])
(1) [X, Y, Z]
Type:
List(TestXDP)
(2) -> r:=X*Y^2*Z^4
2 4
(2) X Y Z
Type:
TestXDP
(3) -> TestXDP has RetractableTo FreeMonoid Symbol
(3) true
Type:
Boolean
(4) -> retract r
2 4
(4) X Y Z
Type:
FreeMonoid(Symbol)
(5) ->
======
V1.3.7
======
; compilation finished in 0:00:00.004
------------------------------------------------------------------------
TestXDP is now explicitly exposed in frame frame1
TestXDP will be automatically loaded when needed from
/tmp/TSTXDP.NRLIB/TSTXDP
(1) -> )version
Value = "FriCAS 2021-03-06 compiled at Fr 22 Apr 2022 15:24:45 CEST"
(1) -> [X,Y,Z] := map(makeIt,[X,Y,Z])
(1) [X, Y, Z]
Type:
List(TestXDP)
(2) -> r:=X*Y^2*Z^4
2 4
(2) X Y Z
Type:
TestXDP
(3) -> TestXDP has RetractableTo FreeMonoid Symbol
(3) true
Type:
Boolean
(4) -> retract r
Function: retractIfCan : % -> Union(FreeMonoid(Symbol),"failed") is
missing from domain: TestXDP
Internal Error
The function retractIfCan with signature
(Union (FreeMonoid (Symbol)) failed)$ is missing from domain TestXDP
(4) -> )sh TestXDP
...
retract : % -> FreeMonoid(Symbol)
retractIfCan : % -> Union(FreeMonoid(Symbol),"failed")
--
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/a8253ad9-30f3-4043-97eb-e1857c92dbd7n%40googlegroups.com.
