Waldek,
Here is my patch against op.spad.pamphlet. Besides 'applyQuote' chunk
it also contains another small change relating to the earlier change
in FriCAS that separated the concept of 'OrderedSet' from the concept
of an internal system defined ordering implemented by the category
'Comparable'. The problem showed up when I wanted to use some
functions from op in the case of an 'Expression(R)' where R has
Comparable but not OrderedSet., e.g. 'Expression Boolean'
Do you forsee any problems?
wsp...@debian:~/fricas-src/src/algebra$ svn diff op.spad.pamphlet
Index: op.spad.pamphlet
===================================================================
--- op.spad.pamphlet (revision 666)
+++ op.spad.pamphlet (working copy)
@@ -271,7 +271,7 @@
derivative(op, [(l1: List(A)): A +-> f first l1]$List(List A -> A))
error "Operator is not unary"
- if A has OrderedSet then
+ if A has Comparable then
cdisp : (OutputForm, List OutputForm) -> OutputForm
csex : (InputForm, List InputForm) -> InputForm
eqconst?: (OP, OP) -> Boolean
@@ -293,7 +293,7 @@
ltconst?(a, b) ==
(va := property(a, CONST)) case "failed" => has?(b, CONST)
((vb := property(b, CONST)) case None) and
- ((va::None) pretend A) < ((vb::None) pretend A)
+ smaller?((va::None) pretend A, (vb::None) pretend A)
constOp a ==
setProperty(display(copy opconst, (l1: List(OutputForm)):
OutputForm +-> cdisp(a::OutputForm, l1)),
@@ -380,7 +380,7 @@
opacsch := operator('acsch, 1)
opbox := operator('%box)$OP
oppren := operator('%paren)$OP
- opquote := operator('applyQuote)$OP
+ opquote := operator('%quote)$OP
opdiff := operator('%diff, 3)
opsi := operator('Si, 1)
opci := operator('Ci, 1)
wsp...@debian:~/fricas-src/src/algebra$
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
