test_class.file: core/src/test/java/dk/alexandra/fresco/framework/builder/numeric/field/MersennePrimeFieldDefinitionTest.java
test_class.identifier: MersennePrimeFieldDefinitionTest
test_case.body: @Test
    public void convertToSigned() {
      MersennePrimeFieldDefinition definition_1 = new MersennePrimeFieldDefinition(3,1);
      testConversions(definition_1,3,3);
      testConversions(definition_1,4,-3);
      testConversions(definition_1,6,-1);
      testConversions(definition_1,7,0);
    }
test_case.class_method_signature: MersennePrimeFieldDefinitionTest.convertToSigned()
test_case.full_signature: @Test public void convertToSigned()
test_case.identifier: convertToSigned
test_case.invocations: testConversions testConversions testConversions testConversions
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void convertToSigned()
focal_class.declarator: modulus
focal_class.modifier: private final
focal_class.original_string: private final MersennePrimeModulus modulus;
focal_class.type: MersennePrimeModulus
focal_class.var_name: modulus
focal_class.declarator: modulusHalf
focal_class.modifier: private final
focal_class.original_string: private final BigInteger modulusHalf;
focal_class.type: BigInteger
focal_class.var_name: modulusHalf
focal_class.declarator: modulusBitLength
focal_class.modifier: private final
focal_class.original_string: private final int modulusBitLength;
focal_class.type: int
focal_class.var_name: modulusBitLength
focal_class.declarator: utils
focal_class.modifier: private final
focal_class.original_string: private final FieldUtils utils;
focal_class.type: FieldUtils
focal_class.var_name: utils
focal_class.file: core/src/main/java/dk/alexandra/fresco/framework/builder/numeric/field/MersennePrimeFieldDefinition.java
focal_class.identifier: MersennePrimeFieldDefinition
focal_class.interfaces: implements FieldDefinition
focal_class.class_method_signature: MersennePrimeFieldDefinition.MersennePrimeFieldDefinition(int bitLength, int constant)
focal_class.full_signature: public  MersennePrimeFieldDefinition(int bitLength, int constant)
focal_class.identifier: MersennePrimeFieldDefinition
focal_class.modifiers: public
focal_class.parameters: (int bitLength, int constant)
focal_class.signature:  MersennePrimeFieldDefinition(int bitLength, int constant)
focal_class.class_method_signature: MersennePrimeFieldDefinition.createElement(long value)
focal_class.full_signature: @Override public FieldElement createElement(long value)
focal_class.identifier: createElement
focal_class.modifiers: @Override public
focal_class.parameters: (long value)
focal_class.return: FieldElement
focal_class.signature: FieldElement createElement(long value)
focal_class.class_method_signature: MersennePrimeFieldDefinition.createElement(String value)
focal_class.full_signature: @Override public FieldElement createElement(String value)
focal_class.identifier: createElement
focal_class.modifiers: @Override public
focal_class.parameters: (String value)
focal_class.return: FieldElement
focal_class.signature: FieldElement createElement(String value)
focal_class.class_method_signature: MersennePrimeFieldDefinition.createElement(BigInteger value)
focal_class.full_signature: @Override public FieldElement createElement(BigInteger value)
focal_class.identifier: createElement
focal_class.modifiers: @Override public
focal_class.parameters: (BigInteger value)
focal_class.return: FieldElement
focal_class.signature: FieldElement createElement(BigInteger value)
focal_class.class_method_signature: MersennePrimeFieldDefinition.getModulus()
focal_class.full_signature: @Override public BigInteger getModulus()
focal_class.identifier: getModulus
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: BigInteger
focal_class.signature: BigInteger getModulus()
focal_class.class_method_signature: MersennePrimeFieldDefinition.getBitLength()
focal_class.full_signature: @Override public int getBitLength()
focal_class.identifier: getBitLength
focal_class.modifiers: @Override public
focal_class.parameters: ()
focal_class.return: int
focal_class.signature: int getBitLength()
focal_class.class_method_signature: MersennePrimeFieldDefinition.convertToBitVector(FieldElement fieldElement)
focal_class.full_signature: @Override public StrictBitVector convertToBitVector(FieldElement fieldElement)
focal_class.identifier: convertToBitVector
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement fieldElement)
focal_class.return: StrictBitVector
focal_class.signature: StrictBitVector convertToBitVector(FieldElement fieldElement)
focal_class.class_method_signature: MersennePrimeFieldDefinition.convertToUnsigned(FieldElement value)
focal_class.full_signature: @Override public BigInteger convertToUnsigned(FieldElement value)
focal_class.identifier: convertToUnsigned
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement value)
focal_class.return: BigInteger
focal_class.signature: BigInteger convertToUnsigned(FieldElement value)
focal_class.class_method_signature: MersennePrimeFieldDefinition.convertToSigned(BigInteger asUnsigned)
focal_class.full_signature: @Override public BigInteger convertToSigned(BigInteger asUnsigned)
focal_class.identifier: convertToSigned
focal_class.modifiers: @Override public
focal_class.parameters: (BigInteger asUnsigned)
focal_class.return: BigInteger
focal_class.signature: BigInteger convertToSigned(BigInteger asUnsigned)
focal_class.class_method_signature: MersennePrimeFieldDefinition.serialize(FieldElement fieldElement)
focal_class.full_signature: @Override public byte[] serialize(FieldElement fieldElement)
focal_class.identifier: serialize
focal_class.modifiers: @Override public
focal_class.parameters: (FieldElement fieldElement)
focal_class.return: byte[]
focal_class.signature: byte[] serialize(FieldElement fieldElement)
focal_class.class_method_signature: MersennePrimeFieldDefinition.serialize(List<FieldElement> fieldElements)
focal_class.full_signature: @Override public byte[] serialize(List<FieldElement> fieldElements)
focal_class.identifier: serialize
focal_class.modifiers: @Override public
focal_class.parameters: (List<FieldElement> fieldElements)
focal_class.return: byte[]
focal_class.signature: byte[] serialize(List<FieldElement> fieldElements)
focal_class.class_method_signature: MersennePrimeFieldDefinition.deserialize(byte[] bytes)
focal_class.full_signature: @Override public FieldElement deserialize(byte[] bytes)
focal_class.identifier: deserialize
focal_class.modifiers: @Override public
focal_class.parameters: (byte[] bytes)
focal_class.return: FieldElement
focal_class.signature: FieldElement deserialize(byte[] bytes)
focal_class.class_method_signature: MersennePrimeFieldDefinition.deserializeList(byte[] bytes)
focal_class.full_signature: @Override public List<FieldElement> deserializeList(byte[] bytes)
focal_class.identifier: deserializeList
focal_class.modifiers: @Override public
focal_class.parameters: (byte[] bytes)
focal_class.return: List<FieldElement>
focal_class.signature: List<FieldElement> deserializeList(byte[] bytes)
focal_method.body: @Override
    public BigInteger convertToSigned(BigInteger asUnsigned) {
      return FieldUtils.convertRepresentation(asUnsigned, getModulus(), modulusHalf);
    }
focal_method.class_method_signature: MersennePrimeFieldDefinition.convertToSigned(BigInteger asUnsigned)
focal_method.full_signature: @Override public BigInteger convertToSigned(BigInteger asUnsigned)
focal_method.identifier: convertToSigned
focal_method.invocations: convertRepresentation getModulus
focal_method.modifiers: @Override public
focal_method.parameters: (BigInteger asUnsigned)
focal_method.return: BigInteger
focal_method.signature: BigInteger convertToSigned(BigInteger asUnsigned)