Added WideSquare trait.

[orizi]

Allowing optimized implementaion of WideMul squaring.

---

This change is 

[gilbens-starkware]

Reviewed 5 of 5 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)

[gilbens-starkware]

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)

[liorgold2]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @orizi)

---

corelib/src/num/traits/ops/widepow2.cairo line 4 at r2 (raw file):

/// A trait for a type that can be squared to produce a wider type.
pub trait WidePow2<T> {

WideSqr. Pow2 is 2**x

[TomerStarkware]

Reviewed all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @orizi)

[orizi]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @liorgold2)

---

corelib/src/num/traits/ops/widepow2.cairo line 4 at r2 (raw file):

Previously, liorgold2 wrote…

WideSqr. Pow2 is 2**x

WideSqr anywhere i found on the internet was still a square root.

more options?

[liorgold2]

Reviewable status: 1 of 5 files reviewed, all discussions resolved (waiting on @gilbens-starkware)

---

corelib/src/num/traits/ops/widepow2.cairo line 4 at r2 (raw file):

Previously, orizi wrote…

WideSqr anywhere i found on the internet was still a square root.

more options?

WideSquare is good
(BTW, from what I know sqr is square, sqrt is square root.)

[orizi]

Reviewable status: 1 of 5 files reviewed, all discussions resolved (waiting on @gilbens-starkware)

---

corelib/src/num/traits/ops/widepow2.cairo line 4 at r2 (raw file):

Previously, liorgold2 wrote…

WideSquare is good
(BTW, from what I know sqr is square, sqrt is square root.)

in general - true.
in microsoft SQL - Sqr == Square root :(
(and that was the only thing i actually found looking around).

[gilbens-starkware]

Reviewed 4 of 4 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @liorgold2)

[gilbens-starkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @liorgold2)

[liorgold2]

Reviewed all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @orizi)