question about sublists

• Subject: question about sublists
• From: Barton Willis
• Date: Sun, 7 Jan 2007 18:38:45 -0600

-----maxima-bounces at math.utexas.edu wrote: -----

>Where is the function 'definitely-so' ?

The file 'matcom.lisp' has a function 'definitely-so', but its
definition is commented out:

(DEFUN DEFINITELY-SO (E) (EQ ($MAYBE E) T))

Barton

• Prev by Date: question about sublists
• Next by Date: Extending maxima language
• Previous by thread: question about sublists
• Next by thread: question about sublists
• Index(es):
  • Date
  • Thread