[Date Index] [Thread Index] [Author Index]

modulo solving lacking domain?

• To: mathgroup at smc.vnet.net
• Subject: [mg126840] modulo solving lacking domain?
• From: Richard Fateman <fateman at cs.berkeley.edu>
• Date: Tue, 12 Jun 2012 02:59:17 -0400 (EDT)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com

Solve[12*n==8,n,Modulus->20]

returns
{{n->4+5*C[1]}}

It omits C[1] element of Integers.
I doubt that this is a feature; is it a bug?

C[1] is not necessarily a member of the finite field of
integers modulo 20.  It is obvious not an arbitrary Real.

• Follow-Ups:
  • Re: modulo solving lacking domain?
    • From: Andrzej Kozlowski <akozlowski@gmail.com>