MCPcopy Create free account
hub / github.com/PolyhedraZK/ExpanderCompilerCollection / Add

Method Add

circuit-std-go/logup/utils.go:16–21  ·  view source on GitHub ↗
(api frontend.API, other *RationalNumber)

Source from the content-addressed store, hash-verified

14}
15
16func (r *RationalNumber) Add(api frontend.API, other *RationalNumber) RationalNumber {
17 return RationalNumber{
18 Numerator: api.Add(api.Mul(r.Numerator, other.Denominator), api.Mul(other.Numerator, r.Denominator)),
19 Denominator: api.Mul(r.Denominator, other.Denominator),
20 }
21}
22
23// 0 is considered a power of 2 in this case
24func IsPowerOf2(n int) bool {

Callers 7

poseidonM31x16MDSApplyFunction · 0.45
QueryCountHintFnFunction · 0.45
SumRationalNumbersFunction · 0.45
CombineColumnFunction · 0.45
RangeProofFunction · 0.45

Calls 1

MulMethod · 0.45

Tested by

no test coverage detected