declare L a member of an integer sequence

• Subject: declare L a member of an integer sequence
• From: Nijso Beishuizen
• Date: Sun, 10 Feb 2013 00:20:04 +0100

Dear all,

I was wondering if I could declare that

ds : -(L+6)/4

is a positive integer, so L=-10,-14,..

so basically integerp(ds) would give true and ds>0 would be true?

Best,
NB

• Prev by Date: quotient by zero error
• Next by Date: declare L a member of an integer sequence
• Previous by thread: Declaration of funcion domains ?
• Next by thread: declare L a member of an integer sequence
• Index(es):
  • Date
  • Thread