Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2004
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

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

Search the Archive

Re: Re: finite domains

  • To: mathgroup at smc.vnet.net
  • Subject: [mg52747] Re: [mg52691] Re: finite domains
  • From: János <janos.lobb at yale.edu>
  • Date: Sat, 11 Dec 2004 05:22:24 -0500 (EST)
  • References: <cp3t2v$9ai$1@smc.vnet.net> <200412100122.UAA18894@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

Drago,

According to the Book you can use both.  However I do not know, because 
I do not know how to define domains like:

       {Complexes },
       {Reals },
       {Algebraics },
       {Rationals },
       {Integers },
       {Primes },
       {Booleans }

Well, I was wrong in my previous e-mail, because Booleans is a finite 
domain.  So again, I am interested to know how can I define a user 
domain - in my case a finite one - and use all the domain related 
functions of Mathematica on it and able to use it with patterns.

In[1]:=
Information["Booleans",
   LongForm -> False]
"Booleans represents the \
domain of booleans, as in x \
\[Element] Booleans."*Button[
    More\[Ellipsis], ButtonData :>
     "Booleans", Active ->
     True, ButtonStyle ->
     "RefGuideLink"]

does not give much insight.  With Longform->True I get just one step 
further:

Attributes[Booleans] =
    {Protected}

So, the question is: "user-defined domains" or "custom domains"...
Help...

János
On Dec 9, 2004, at 8:22 PM, Drago Ganic wrote:

> Hi group,
> Here is another question:
> Should we use Element for finite domains, or should we use **only** 
> MemberQ
> for them ??!
>
> Greetings from Croatia,
> Drago Ganic
>
>
>
> "János" <janos.lobb at yale.edu> wrote in message
> news:cp3t2v$9ai$1 at smc.vnet.net...
>> Hi,
>>
>> When I look the book I see just infinite built-in domains, like 
>> Integer
>> etc...  I am wondering if finite domains can be created and if all the
>> domain related functions would work on it.  As an example, I have
>> {North, West, South, East} in mind.
>>
>> Thanks ahead,
>> János
>> ----------------------------------------------
>> Trying to argue with a politician is like lifting up the head of a
>> corpse.
>> (S. Lem: His Master Voice)
>>
>
>
----------------------------------------------
Trying to argue with a politician is like lifting up the head of a 
corpse.
(S. Lem: His Master Voice)


  • Prev by Date: Re: Solve bug?
  • Next by Date: Re: Using LevenbergMarquardt Method with a complicated function
  • Previous by thread: Re: Re: finite domains
  • Next by thread: Re: finite domains