test_class.declarator: modulus
test_class.modifier: private
test_class.original_string: private BigIntegerModulus modulus;
test_class.type: BigIntegerModulus
test_class.var_name: modulus
test_class.declarator: bigModulus
test_class.modifier: private
test_class.original_string: private BigIntegerModulus bigModulus;
test_class.type: BigIntegerModulus
test_class.var_name: bigModulus
test_class.declarator: element1
test_class.modifier: private
test_class.original_string: private FieldElement element1;
test_class.type: FieldElement
test_class.var_name: element1
test_class.declarator: element2
test_class.modifier: private
test_class.original_string: private FieldElement element2;
test_class.type: FieldElement
test_class.var_name: element2
test_class.declarator: element3
test_class.modifier: private
test_class.original_string: private FieldElement element3;
test_class.type: FieldElement
test_class.var_name: element3
test_class.file: core/src/test/java/dk/alexandra/fresco/framework/builder/numeric/field/BigIntegerFieldElementTest.java
test_class.identifier: BigIntegerFieldElementTest
test_case.body: @Test
    public void negate() {
      BigInteger result1 = BigIntegerFieldElement.extractValue(element1.negate());
      BigInteger result2 = BigIntegerFieldElement.extractValue(element2.negate());
      BigInteger result3 = BigIntegerFieldElement.extractValue(element3.negate());
      BigInteger value1 = BigIntegerFieldElement.extractValue(element1);
      BigInteger value2 = BigIntegerFieldElement.extractValue(element2);
      BigInteger value3 = BigIntegerFieldElement.extractValue(element3);
      assertThat(result1, Is.is(modulus.getBigInteger().subtract(value1)));
      assertThat(result2, Is.is(modulus.getBigInteger().subtract(value2)));
      assertThat(result3, Is.is(modulus.getBigInteger().subtract(value3)));
    }
test_case.class_method_signature: BigIntegerFieldElementTest.negate()
test_case.full_signature: @Test public void negate()
test_case.identifier: negate
test_case.invocations: extractValue negate extractValue negate extractValue negate extractValue extractValue extractValue assertThat is subtract getBigInteger assertThat is subtract getBigInteger assertThat is subtract getBigInteger
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void negate()
focal_class.declarator: serialVersionUID = -6786266947587799652L
focal_class.modifier: private static final
focal_class.original_string: private static final long serialVersionUID = -6786266947587799652L;
focal_class.type: long
focal_class.var_name: serialVersionUID
focal_class.declarator: value
focal_class.modifier: private final
focal_class.original_string: private final BigInteger value;
focal_class.type: BigInteger
focal_class.var_name: value
focal_class.declarator: modulus
focal_class.modifier: private final
focal_class.original_string: private final BigIntegerModulus modulus;
focal_class.type: BigIntegerModulus
focal_class.var_name: modulus
focal_class.file: core/src/main/java/dk/alexandra/fresco/framework/builder/numeric/field/BigIntegerFieldElement.java
focal_class.identifier: BigIntegerFieldElement
focal_class.interfaces: implements FieldElement
focal_class.class_method_signature: BigIntegerFieldElement.BigIntegerFieldElement(BigInteger value, BigIntegerModulus modulus)
focal_class.full_signature: private  BigIntegerFieldElement(BigInteger value, BigIntegerModulus modulus)
focal_class.identifier: BigIntegerFieldElement
focal_class.modifiers: private
focal_class.parameters: (BigInteger value, BigIntegerModulus modulus)
focal_class.signature:  BigIntegerFieldElement(BigInteger value, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.create(BigInteger value)
focal_class.full_signature: private FieldElement create(BigInteger value)
focal_class.identifier: create
focal_class.modifiers: private
focal_class.parameters: (BigInteger value)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(BigInteger value)
focal_class.class_method_signature: BigIntegerFieldElement.create(BigInteger value, BigIntegerModulus modulus)
focal_class.full_signature: static FieldElement create(BigInteger value, BigIntegerModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (BigInteger value, BigIntegerModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(BigInteger value, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.create(long value, BigIntegerModulus modulus)
focal_class.full_signature: static FieldElement create(long value, BigIntegerModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (long value, BigIntegerModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(long value, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.create(String string, BigIntegerModulus modulus)
focal_class.full_signature: static FieldElement create(String string, BigIntegerModulus modulus)
focal_class.identifier: create
focal_class.modifiers: static
focal_class.parameters: (String string, BigIntegerModulus modulus)
focal_class.return: FieldElement
focal_class.signature: FieldElement create(String string, BigIntegerModulus modulus)
focal_class.class_method_signature: BigIntegerFieldElement.add(FieldElement operand)
focal_class.full_signature: @Override public FieldElement add(FieldElement operand)
focal_class.identifier: add
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement operand)
focal_class.return: FieldElement
focal_class.signature: FieldElement add(FieldElement operand)
focal_class.class_method_signature: BigIntegerFieldElement.subtract(FieldElement operand)
focal_class.full_signature: @Override public FieldElement subtract(FieldElement operand)
focal_class.identifier: subtract
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement operand)
focal_class.return: FieldElement
focal_class.signature: FieldElement subtract(FieldElement operand)
focal_class.class_method_signature: BigIntegerFieldElement.negate()
focal_class.full_signature: @Override public FieldElement negate()
focal_class.identifier: negate
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement negate()
focal_class.class_method_signature: BigIntegerFieldElement.multiply(FieldElement operand)
focal_class.full_signature: @Override public FieldElement multiply(FieldElement operand)
focal_class.identifier: multiply
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement operand)
focal_class.return: FieldElement
focal_class.signature: FieldElement multiply(FieldElement operand)
focal_class.class_method_signature: BigIntegerFieldElement.sqrt()
focal_class.full_signature: @Override public FieldElement sqrt()
focal_class.identifier: sqrt
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement sqrt()
focal_class.class_method_signature: BigIntegerFieldElement.modInverse()
focal_class.full_signature: @Override public FieldElement modInverse()
focal_class.identifier: modInverse
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: FieldElement
focal_class.signature: FieldElement modInverse()
focal_class.class_method_signature: BigIntegerFieldElement.extractValue(FieldElement element)
focal_class.full_signature: static BigInteger extractValue(FieldElement element)
focal_class.identifier: extractValue
focal_class.modifiers: static
focal_class.parameters: (FieldElement element)
focal_class.return: BigInteger
focal_class.signature: BigInteger extractValue(FieldElement element)
focal_class.class_method_signature: BigIntegerFieldElement.getModulus()
focal_class.full_signature: private BigInteger getModulus()
focal_class.identifier: getModulus
focal_class.modifiers: private
focal_class.parameters: ()
focal_class.return: BigInteger
focal_class.signature: BigInteger getModulus()
focal_class.class_method_signature: BigIntegerFieldElement.toString()
focal_class.full_signature: @Override public String toString()
focal_class.identifier: toString
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String toString()
focal_method.body: @Override
    public FieldElement negate() {
      return create(getModulus().subtract(value));
    }
focal_method.class_method_signature: BigIntegerFieldElement.negate()
focal_method.full_signature: @Override public FieldElement negate()
focal_method.identifier: negate
focal_method.invocations: create subtract getModulus
focal_method.modifiers: @Override public
focal_method.parameters: ()
focal_method.return: FieldElement
focal_method.signature: FieldElement negate()