2,145 reputation
727
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 6 months
seen 19 hours ago

My scientific interests:

  • Mathematics: Category Theory, Algebra, Logic (Model-Theory, ATP), Control Systems
  • Physics: General Relativity, QFT
  • Amateur Astronomer and Astrophotographer
  • Mathematica programming

My Website:WildCats
Premiere Mathematica package for category theory

Visit the newly launched Mathematica.SE!

My non-scientific interests:

  • Skiing, Sailing, Windsurfing
  • Argentine Tango dancer
  • Ballroom dancing

More or less fluent in (random order):

Italian, English, German, French, Spanish, Dutch and struggling with Russian


May
1
comment How to Combine Pattern Constraints and Default Values for Function Arguments
In general you can use multiple clicking to see how binding works
Apr
17
comment Conditional break point in Wolfram Workbench?
you might consider posting this question in the new specialized site mathematica.stackexchange.com
Mar
12
revised MUnit creating a hierarchy of TestSuites
Added tag "Workbench"
Mar
12
suggested suggested edit on MUnit creating a hierarchy of TestSuites
Mar
9
comment MUnit creating a hierarchy of TestSuites
I just found a list of unit testing software in wikipedia: en.wikipedia.org/wiki/List_of_unit_testing_frameworks Mathematica is conspicuously absent. Somebody knowledgeable in this matter should do something about it.
Mar
9
comment MUnit creating a hierarchy of TestSuites
I am not very familiar with unit testing. I thought it could only be done (easily) with workbench. From what I see, the only answer you got so far relates to workbench. I added the workbench tag to help future searches (certainly mines) to retrieve this question and answer (which relates to workbench for sure). Would you mind if I/you/we add the workbench tag to this thread?
Mar
8
revised Clustering of space-time data
edited tags
Mar
8
comment Cycles of length N in a graph
Welcome to the Mathematica SE site WideEyed!
Mar
8
comment MUnit creating a hierarchy of TestSuites
Workbench has unit testing facilities, so I thought that you would use it to do your testing. Is this not so? And even if not, wouldn't your question be relevant/interesting to a Workbench user? Anyway, adding a tag has never armed anybody.
Mar
7
revised MUnit creating a hierarchy of TestSuites
Added workbench reference in the title and main body. Added tag "Workbench"
Mar
7
suggested suggested edit on MUnit creating a hierarchy of TestSuites
Feb
28
comment How change order of items added to the Palettes menu?
murray could you please give a link to the package location on the internet?
Feb
22
awarded  Good Question
Feb
22
awarded  Nice Question
Feb
1
comment Prenex and Skolem normal forms
Daniel, thank you for your help. I will be offline for several days. Afterwards I will clarify my question.
Jan
31
comment Prenex and Skolem normal forms
Daniel: I imagined something like that (about grep). The ToPrenexForm works very well in my MMA. If it's possible, could you please grep further (or ask around) if -from the prenexed or skolemized form- the full resolution algorithm is implemented Resolution maybe using the DPLL algorithm ?
Jan
31
comment How to create a group action table with Mathematica?
I do not understand -completely- your comment. Anyway: I copied G from your question. MMA will immediately transform it into G = {1, a, a ** a, b, b ** a,a ** b} (using my code), so you may as well start from this directly. The alternative rule a ** b := b ** a ** a is not good since you would replace a short string (a**b) with a longer one.
Jan
31
comment Prenex and Skolem normal forms
Daniel, I do not really understand what does it mean "I learned this via grep"?. AFAIK grep is a Unix command so....?
Jan
29
comment How to make a drop-shadow for Graphics3D objects
Very good answer!
Jan
28
awarded  Tag Editor