public FieldElement add(FieldElement val) {
    int[] g = ((org.mariadb.jdbc.internal.com.send.authentication.ed25519.math.ed25519.Ed25519FieldElement) val).t;
    int[] h = new int[10];
    for (int i = 0; i < 10; i++) {
      h[i] = t[i] + g[i];
    }
    return new org.mariadb.jdbc.internal.com.send.authentication.ed25519.math.ed25519.Ed25519FieldElement(f, h);
  }
public FieldElement add ( FieldElement val ) { int [ ] g = ( ( org . mariadb . jdbc . internal . com . send . authentication . ed25519 . math . ed25519 . Ed25519FieldElement ) val ) . t ; int [ ] h = new int [ 10 ] ; for ( int i = 0 ; i < 10 ; i ++ ) { h [ i ] = t [ i ] + g [ i ] ; } return new org . mariadb . jdbc . internal . com . send . authentication . ed25519 . math . ed25519 . Ed25519FieldElement ( f , h ) ; }
$h = f + g$
<p>
TODO-CR BR: $h$ is allocated via new, probably not a good idea. Do we need the copying into
temp variables if we do that?
<p>
Preconditions:
</p><ul>
<li>$|f|$ bounded by $1.1*2^{25},1.1*2^{24},1.1*2^{25},1.1*2^{24},$ etc.
<li>$|g|$ bounded by $1.1*2^{25},1.1*2^{24},1.1*2^{25},1.1*2^{24},$ etc.
</ul><p>
Postconditions:
</p><ul>
<li>$|h|$ bounded by $1.1*2^{26},1.1*2^{25},1.1*2^{26},1.1*2^{25},$ etc.
</ul>

@param val The field element to add.
@return The field element this + val.