code: public FieldElement negate() {
      int[] h = new int[10];
      for (int i = 0; i < 10; i++) {
        h[i] = -t[i];
      }
      return new org.mariadb.jdbc.internal.com.send.authentication.ed25519.math.ed25519.Ed25519FieldElement(f, h);
    }
docs: $h = -f$
  <p>
  TODO-CR BR: see above.
  <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.
  </ul><p>
  Postconditions:
  </p><ul>
  <li>$|h|$ bounded by $1.1*2^{25},1.1*2^{24},1.1*2^{25},1.1*2^{24},$ etc.
  </ul>
  
  @return The field element (-1) * this.