That seems powerful. asserting unique or sorted attributes to nouns may make some internal verbs faster as well.
Assertions about verbs would usually be part of the definition. On Wednesday, July 4, 2018, 9:00:57 p.m. EDT, Henry Rich <[email protected]> wrote: Rather than a new table adverb, I would prefer a conjunction that asserted properties of a verb/noun: commutative, left-associative, and right-associative come to mind for verbs, Hermitian and antiHermitian for nouns, and there may be others. Then the existing adverbs like [x] u/\ y and x u/ y could take advantage of the properties. Henry Rich On 6/29/2018 12:04 PM, David Lambert wrote: > I have an equality test. If a=b then b=a . (In my case "find overlapping > spheres", in other words the equality test may be non-trivial.) The new > adverb would compute only the upper triangular set of cases and thereby > save about half the time. > > NB. assuming the main diagonal could be interesting > NB. the new adverb would compute these cases > <:/~ i.7 > 1 1 1 1 1 1 1 > 0 1 1 1 1 1 1 > 0 0 1 1 1 1 1 > 0 0 0 1 1 1 1 > 0 0 0 0 1 1 1 > 0 0 0 0 0 1 1 > 0 0 0 0 0 0 1 > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm --- This email has been checked for viruses by AVG. https://www.avg.com ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
