- Apr 1, 2005Jud
I intend to put up completely.
I am in the process of developing the proof document (much slower
because my children are on holiday)
Even though my proposal is short and very easy to understand, I am
still concerned that I have to prove each step, although it will be
longer if I do not spend sufficient time on abbreviation.
The tabular CRT aspect, for example......I no longer feel that I have
to prove the assumption made regarding that, as I feel assured that it
is not necessary, and have been given sufficient math pointers from
this group to perhaps explain it properly. This is all part of the,
"how formal should it be" question that I have been trailing past you
guys so often.
However, there is one more part, which I have not yet addressed here,
and though I believe it simple to assume or prove, given quite
rudimentary math training, I may take more time to find that formal
proof, or one that I invent, that suffices.
I may also have to ask you guys about that, in order to short circuit
However I do it; I do not expect it to take long, but I must attempt
to get it right you understand!
As I am engaged in formalising my GC proposal (and dealing with the
children!) I not that inclined to look up the work that I have on
fatorisation (such that it may be!).
This method, both you and Decio have mentioned.
When you ask whether you are right or not; if you mean; was this the
method I was using; well it doesn't look like it; as far as I remember
the method I used was very short, and gave me the first factor
instantly, upon a couple of simple calculations; but only after I
compared this result with a table of values (primitive I know!) , but
I did require that the two factors were within a distance; however I
did not spend time trying to calculate that distance.
I am aware that many methods are more or less the same or can be seen
to be derivatives of each other, thus mine may be such, however I
cannot really focus on that matter in detail at the minute.
Apologies, if that is too vague!
Are you involved in seeking factorisation methods?