Motivation
To understand which Expression is the Advice or Lookup
representation of a column and which is any other type (Selector, Fixed)
we have to flip the whole context to calculate the relative index and
define the Polynomial subtype. We need to move towards making these
rules localized in the code and not requiring to remember them while
working with indexes
Part of #159
Overview
Introduced a new type that defines all num_of
Subtype QueryType introduced
The Expression::homogeneous function no longer uses evaluate, due to the overhead of using closure
Lookup polynomials are now taken into account in Expression::homogeneous function
Removed recursion for calculating Challenge in degree within homogeneous fn
Removed an unnecessary clone call within GroupedPoly::mul for rhs
Motivation To understand which
Expressionis theAdviceorLookuprepresentation of a column and which is any other type (Selector, Fixed) we have to flip the whole context to calculate the relative index and define thePolynomialsubtype. We need to move towards making these rules localized in the code and not requiring to remember them while working with indexesPart of #159
Overview
num_ofQueryTypeintroducedExpression::homogeneousfunction no longer usesevaluate, due to the overhead of using closureExpression::homogeneousfunctionChallengein degree withinhomogeneousfnclonecall withinGroupedPoly::mulforrhsresizecall inGroupedPoly::mul