Searched defs:plus_sqrt3 (Results 1 – 1 of 1) sorted by relevance
10618 gen plus_sqrt3(symbolic(at_pow,gen(makevecteur(3,plus_one_half),_SEQ__VECT))); variable10721 const gen & plus_sqrt3 = *(const gen *)&alias_plus_sqrt3; variable