Documentation

Fields

• cmA :: g
   
• cmB :: g
   
• cmC :: g
   
• cmF :: g
   
• cmH1 :: g
   
• cmH2 :: g
   
• cmZ1 :: g
   
• cmZ2 :: g
   
• cmQlow :: g
   
• cmQmid :: g
   
• cmQhigh :: g
   
• proof1 :: g
   
• proof2 :: g
   
• a_xi :: ScalarFieldOf g
   
• b_xi :: ScalarFieldOf g
   
• c_xi :: ScalarFieldOf g
   
• s1_xi :: ScalarFieldOf g
   
• s2_xi :: ScalarFieldOf g
   
• f_xi :: ScalarFieldOf g
   
• t_xi :: ScalarFieldOf g
   
• t_xi' :: ScalarFieldOf g
   
• z1_xi' :: ScalarFieldOf g
   
• z2_xi' :: ScalarFieldOf g
   
• h1_xi' :: ScalarFieldOf g
   
• h2_xi :: ScalarFieldOf g
   
• l1_xi :: ScalarFieldOf g

  The denominator in the L_1 polynomial evaluation