← Back to branch summary

~ubuntu-branches/debian/squeeze/maxima/squeeze

« back to all changes in this revision

Viewing changes to doc/info/Contexts.texi

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2010-04-30 13:30:33 UTC
  • mto: This revision was merged to the branch mainline in revision 12.
  • Revision ID: james.westby@ubuntu.com-20100430133033-wtewap0zdnmsix1y
Tags: upstream-5.21.1
Import upstream version 5.21.1

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/info/Contexts.texi
61
61
there are many obvious consequences which cannot be determined by @code{is}.
62
62
This is a known weakness.
63
63
 
 
64
@code{assume} does not handle predicates with complex numbers. If a predicate
 
65
contains a complex number @code{assume} returns @code{inconsistent} or 
 
66
@code{redunant}.
 
67
 
64
68
@code{assume} evaluates its arguments.
65
69
 
66
70
See also @code{is}, @code{facts}, @code{forget}, @code{context}, and @code{declare}.