rdfs:comment | - The dupertri is equal to {3,tritri (1) 2} = \(\{\underbrace{3,3,3,...,3,3,3}_{ ext{tritri } 3's}\}\) in BEAF. It is tritri-sized linear array of 3's and can be written as tritri & 3, using the array of operator. The term was coined by Jonathan Bowers.
|
abstract | - The dupertri is equal to {3,tritri (1) 2} = \(\{\underbrace{3,3,3,...,3,3,3}_{ ext{tritri } 3's}\}\) in BEAF. It is tritri-sized linear array of 3's and can be written as tritri & 3, using the array of operator. The term was coined by Jonathan Bowers.
|