// Copyright 2021 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Code generated by generate.go. DO NOT EDIT.

package fiat

import (
	
	
)

// P224Element is an integer modulo 2^224 - 2^96 + 1.
//
// The zero value is a valid zero element.
type P224Element struct {
	// Values are represented internally always in the Montgomery domain, and
	// converted in Bytes and SetBytes.
	x p224MontgomeryDomainFieldElement
}

const p224ElementLen = 28

type p224UntypedFieldElement = [4]uint64

// One sets e = 1, and returns e.
func ( *P224Element) () *P224Element {
	p224SetOne(&.x)
	return 
}

// Equal returns 1 if e == t, and zero otherwise.
func ( *P224Element) ( *P224Element) int {
	 := .Bytes()
	 := .Bytes()
	return subtle.ConstantTimeCompare(, )
}

// IsZero returns 1 if e == 0, and zero otherwise.
func ( *P224Element) () int {
	 := make([]byte, p224ElementLen)
	 := .Bytes()
	return subtle.ConstantTimeCompare(, )
}

// Set sets e = t, and returns e.
func ( *P224Element) ( *P224Element) *P224Element {
	.x = .x
	return 
}

// Bytes returns the 28-byte big-endian encoding of e.
func ( *P224Element) () []byte {
	// This function is outlined to make the allocations inline in the caller
	// rather than happen on the heap.
	var  [p224ElementLen]byte
	return .bytes(&)
}

func ( *P224Element) ( *[p224ElementLen]byte) []byte {
	var  p224NonMontgomeryDomainFieldElement
	p224FromMontgomery(&, &.x)
	p224ToBytes(, (*p224UntypedFieldElement)(&))
	p224InvertEndianness([:])
	return [:]
}

// SetBytes sets e = v, where v is a big-endian 28-byte encoding, and returns e.
// If v is not 28 bytes or it encodes a value higher than 2^224 - 2^96 + 1,
// SetBytes returns nil and an error, and e is unchanged.
func ( *P224Element) ( []byte) (*P224Element, error) {
	if len() != p224ElementLen {
		return nil, errors.New("invalid P224Element encoding")
	}

	// Check for non-canonical encodings (p + k, 2p + k, etc.) by comparing to
	// the encoding of -1 mod p, so p - 1, the highest canonical encoding.
	var  = new(P224Element).Sub(
		new(P224Element), new(P224Element).One()).Bytes()
	for  := range  {
		if [] < [] {
			break
		}
		if [] > [] {
			return nil, errors.New("invalid P224Element encoding")
		}
	}

	var  [p224ElementLen]byte
	copy([:], )
	p224InvertEndianness([:])
	var  p224NonMontgomeryDomainFieldElement
	p224FromBytes((*p224UntypedFieldElement)(&), &)
	p224ToMontgomery(&.x, &)
	return , nil
}

// Add sets e = t1 + t2, and returns e.
func ( *P224Element) (,  *P224Element) *P224Element {
	p224Add(&.x, &.x, &.x)
	return 
}

// Sub sets e = t1 - t2, and returns e.
func ( *P224Element) (,  *P224Element) *P224Element {
	p224Sub(&.x, &.x, &.x)
	return 
}

// Mul sets e = t1 * t2, and returns e.
func ( *P224Element) (,  *P224Element) *P224Element {
	p224Mul(&.x, &.x, &.x)
	return 
}

// Square sets e = t * t, and returns e.
func ( *P224Element) ( *P224Element) *P224Element {
	p224Square(&.x, &.x)
	return 
}

// Select sets v to a if cond == 1, and to b if cond == 0.
func ( *P224Element) (,  *P224Element,  int) *P224Element {
	p224Selectznz((*p224UntypedFieldElement)(&.x), p224Uint1(),
		(*p224UntypedFieldElement)(&.x), (*p224UntypedFieldElement)(&.x))
	return 
}

func p224InvertEndianness( []byte) {
	for  := 0;  < len()/2; ++ {
		[], [len()-1-] = [len()-1-], []
	}
}