Pythagorean triples: Difference between revisions

No edit summary
Line 3,396:
Y is 2*M*N,
C is M*M + N*N,
order2(X +, Y, +A, CB) =< P,
order2(X, Y, A, + B + C) =< P.
 
order2(A, B, A, B) :- A < B, !.
357

edits