The +. verb computes the `GCD' of all kinds of numbers known to
J, but the corresponding page of the DoJ does not say what exactly
+. produces. As there is no standard definition of GCD for
floating-point or complex numbers in mathematics, +. seems to be
underspecified. Moreover, the text
`The greatest common divisor divides both of its arguments x
and y to produce results that have no common factor, that is,
the GCD of the quotients is 1. Moreover, these quotients
represent the fraction x%y in lowest form.'
seems to suggest only integer arguments. For example,
`the GCD of the quotients is 1'
apparently does not hold for many reals.
So, what does +. compute?
(I can imagine several definitions, but I am curious what the actual one is.)
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm