More on my health

March 9th, 2010

From suggestions of others, I came to suspect a toothache might be caused by my sinuses. I had seen dentist who saw nothing to cause pain, although he filled one small cavity. I ad additionally started having headaches and pain in right ear – pain in tooth was in lower right side toward back. I had tried some sinus med, but stopped last night over concerns with possible side effects (blood pressure). Today for 1st time there is tangible drainage! Also the pain is much less. For details see my health diary

Notes on my Health

March 3rd, 2010

I am confused about my health. I have been experiencing two possibly related things. One is that I am noticing all sorts of things I never noticed before. Secondly I have been going through quite a bit of pain – my legs, one tooth, and headaches. I suspect these my be due ib various ways to the wearing of of the old antipsychotic meds and better work of the new ones. Also the stopping of artificial sweeteners, and much better balanced diet in general. I suppose no alcohol for almost 10 years now may also have helped.

See also my heath page

My Work on Differential Equations – Progress Made

March 3rd, 2010

I seem to have working both the programs [in Ruby] to generate Ruby and Maple programs to solve Systems of Ordinary Differential Equations. The Ruby code uses my Arbitrary Precision Floating Point Code. The web pages and documentation need more work. Also the code in the two versions of Sode does not always match – they evolved somewhat independently beyond some point.

See:

My Apfp
and
My Sode

Recent new books for me

March 3rd, 2010

Cohen, Stephen P – “Beyond America’s Grasp: A Century of Failed Diplomacy in the Middle East”

Safire, William – “Safire’s Political Dictionary”

Scahill, Jeremy – “Blackwater: The Rise of the World’s Most Powerful Mercenary Army”

Systems of Ordinary Differential Equations (SODE)

February 21st, 2010

I have been working on testing and debugging the Ruby version of my program.  I have made great progress.  Also fixed a couple problems in my APFP which it uses.  I am systematically testing both before releasing.  I may choose to uses a different source code control system on SourceForge than the cvs which I used there before – I am having some sort of trouble with cvs now. I have automated the testing process in a way similar to what I did with testing APFP.

Start to testing my APFP (better that is)

February 5th, 2010

I’m writting a program to thoroughly test my Arbitrary Precision Floating Point.

Recent Work – Updated Feb. 9, 2010

  • 10/29/2009 Installed xwindows under cygwin – Seems to work
  • 11/3/2009 Installed Polyml, Isabelle and ProofGeneral under cygwin – Seems to work
  • 12/29/2010 Got 2nd Laptop for development work. The various problems I had had (causing me e.g. to have to reinstall and
    restore data) had stopped since I had not been doing development. I am keeping regular data on the old laptop and development
    on the new one.
  • 2/3/2010 Copied RubySode and MapleSode to new laptop
  • 2/3/2010> RubysSde and APFP (Arbitrary Precision Floating Point) seem functional.
  • 2/3/2010 Start development of regression test for APFP (Ruby program to generate a Ruby Program to generate a Maple Program
    to compare answers.
  • 2/5/2010 Test program for APFP almost finished.
  • 2/6/2010 Test program basically finished – tests ran OK on sin, cos and tan.
  • 2/7/2010 Tested all functions – fixed some problems – log, log10 and sqrt not as accurate as desired.

    sinh and tanh also had one problem.

  • 2/8/2010 Enhanced information in Exception file and added time info. Maple took about 16 minutes clock time – but I didn’t find a function for that.

    The Ruby Program to generate a Ruby program to generate a Maple test program

    The generated Ruby program to generate a Maple test program

    The generated Maple test program

    Test Results – Just all functions

    Test Results EXCEPTIONS – all functions

    Ap.rb

    ApConfig.rb

    Apc.rb

    Apfp.rb

    Real.rb

  • Back to differential equations

    February 4th, 2010

    Since I stopped working on differential equations several months ago, I stopped having various mysterious problems on my computer I was using. I had frequently had my user profile fail to load – which would seem to be solved merely by booting. But a few times I had had to reinstall all software and restore data. The cause was never clear. A couple times recently, several hours after running MapleSode, I had mysterious lockups. This had not been happening otherwise.

    A week ago, I got a second laptop. This new one I will use for development. I am proceeding very methodically. At this point I am primarily using cygwin under (64 bit) Windows 7. I am keeping all my non-development applications on the older laptop. I also have a even older desktop, with just Linux on it, which I almost just use for music. Sitting up at a desk causes by back to ache.

    I now have the source to RubySode and MapleSode on the new laptop. RubySode appears to work. I do not have Maple itself there (I am going to check the terms of the license.) I have started writing (a regression test to the Arbitrary Precision Floating Point (APFP)) a Ruby program to write a Ruby program to write a Maple program to compare the basic functionality of APFP (which is used in RubySode) with results calculated by Maple. APFP also tries to keep track of the maximum possible error. I had previously written calculators in Rails, but it seems they keep breaking when Rails is updated. I can make testing better the new way, anyway.
    If I cannot install Maple on the new machine, I will copy the test program to the old one.

    BTW Windows 7 is much faster. But, there, I have 4 Gig instead of 1.

    Revised version of perception in prolog

    January 23rd, 2010

    /* ————————————————————————
    1/23/2010 ideas on perception

    I have tested ‘perceives’ and it seems to work.
    I have not tested ‘hallucinates’ yet – but I did make the corresponding changes.

    Subject = person doing perceiving
    Time = time of perceiving
    Sense_data = particular (but complex) entity = a complete set of a persons
    experiences at that time
    Sd_obj_a = piece of a Sense_data corresponding to an object (e.g. circular part)
    [could also be additional Sd_obj_b, Sd_obj_c, ...
    Sd_pred = predicate true of a Sd_obj (e.g. red)
    PA = predicate describing an external object that ordinarily would cause
    such experience of external object A
    PR = predicate corresponding to predicate R of external object that ordinarily
    would cause such experience of object A having such predicate R
    A = object perceived
    could also be a B, C, ...
    R = prredicate object perceived as having (property)
    ------------------------------------------------------------------------*/

    perceives(Subject, Time, PR, PA) :-
    experiences(Subject, Time, Sense_Data),
    phys_pred(R),
    phys_obj(A),
    normal_pred_conditions(PR, R),
    normal_obj_conditions(PA, A),
    apply(PR,[PA]),
    perceptual_obj_relation(Sd_obj_a, PA),
    perceptual_pred_relation(Sd_pred, PR),
    sub_sd_object(Sense_data, Sd_obj_a),
    apply(Sd_pred, [Sd_obj_a]).

    hallucinates(Subject, Time, PR, PA) :-
    experiences(Subject, Time, Sense_Data),
    phys_pred(R),
    phys_obj(A),
    normal_pred_conditions(PR, R),
    normal_obj_conditions(PA, A),
    not(apply(PR,[PA])),
    perceptual_obj_relation(Sd_obj_a, PA),
    perceptual_pred_relation(Sd_pred, PR),
    sub_sd_object(Sense_data, Sd_obj_a),
    apply(Sd_pred, [Sd_obj_a]).

    hallucinates(Subject, Time, PR, PA) :-
    experiences(Subject, Time, Sense_Data),
    phys_pred(R),
    phys_obj(A),
    not(normal_pred_conditions(PR, R)),
    perceptual_obj_relation(Sd_obj_a, PA),
    perceptual_pred_relation(Sd_pred, PR),
    sub_sd_object(Sense_data, Sd_obj_a),
    apply(Sd_pred, [Sd_obj_a]).

    hallucinates(Subject, Time, PR, PA) :-
    experiences(Subject, Time, Sense_Data),
    phys_pred(R),
    phys_obj(A),
    not(normal_obj_conditions(PA, A)),
    perceptual_obj_relation(Sd_obj_a, PA),
    perceptual_pred_relation(Sd_pred, PR),
    sub_sd_object(Sense_data, Sd_obj_a),
    apply(Sd_pred, [Sd_obj_a]).

    Still working on analysis of perception

    January 20th, 2010

    I am now working toward getting the definitions to actually work in prolog.

    Recommended Reading

    January 20th, 2010

    Miller, Mark Crispin, ed. – Loser Take All: Election Fraud and the Subversion of Democracy, 2000-2008

    How can we know?