assume-question

• Subject: assume-question
• From: René Kälin
• Date: Mon, 7 Jan 2013 21:31:00 +0100

Dear list

Is it possible to use "or" with assume? Something like assume(x>1 or x<-2)?

Thank you.

• Prev by Date: capturing input file directory at runtime
• Next by Date: capturing input file directory at runtime
• Previous by thread: Assigning to parts of a matrix - how to?
• Next by thread: assume-question
• Index(es):
  • Date
  • Thread