Hi,
Does anybody (know of anybody that) actually uses the SymbolicLogic()
object in Sage? You know, this:
sage: s = SymbolicLogic()
sage: s.statement("A->B")
[['OPAREN', 'A', 'IFTHEN', 'B', 'CPAREN'], {'A': 'False', 'B':
'False'}, ['A', 'B']]
I've had about 6 students (and myself) look at that code, and it is
hard to imagine that it is used by anybody.
In particular, would anybody object to possibly replacing it, possibly
with something that has a (completely) different API, which is much
better?
I've never heard of anybody using this code, and think of people had,
then they would have complained... It's mainly aimed at "a first
course in writing proofs" type teaching/educational applications.
-- William
--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
