structure ProofWidgets.PolygonSvgDisplayProps : Type

• svgHtml : String

instance ProofWidgets.instRpcEncodablePolygonSvgDisplayProps : Lean.Server.RpcEncodable PolygonSvgDisplayProps

Equations

• One or more equations did not get rendered due to their size.

def ProofWidgets.PolygonSvgDisplay : Component PolygonSvgDisplayProps

Equations

• One or more equations did not get rendered due to their size.

def pi : Float

Equations

• pi = 3.141592653589793

def cos (angle : Float) : Float

Equations

• cos angle = angle.cos

def sin (angle : Float) : Float

Equations

• sin angle = angle.sin

def polygonVertex (sides : Nat) (radius centerX centerY : Float) (index : Nat) : Float × Float

Equations

• One or more equations did not get rendered due to their size.

def polygonVertices (sides : Nat) (radius centerX centerY : Float) : Array (Float × Float)

Equations

• polygonVertices sides radius centerX centerY = Array.mapIdx (fun (idx : Nat) (x : Float × Float) => polygonVertex sides radius centerX centerY idx) (Array.replicate sides (0.0, 0.0))

def circleAtCoord (coord : Float × Float) : String

Equations

• One or more equations did not get rendered due to their size.

def lineBetweenCoords (startCoord endCoord : Float × Float) (isRed : Bool) : String

Equations

• One or more equations did not get rendered due to their size.

def allVertexLines (vertices : Array (Float × Float)) (adjMatrix : Array (Array (Fin 2))) : List String

Equations

• One or more equations did not get rendered due to their size.

def charToValue (c : Char) : Nat

Equations

• charToValue c = c.toNat - 63

def boolToFin2 (b : Bool) : Fin 2

Equations

• boolToFin2 b = if b = true then 1 else 0

def decodeG6Adjacency (s : String) (n : Nat) : Array (Array (Fin 2))

Equations

• One or more equations did not get rendered due to their size.

def decodeG6 (s : String) : Array (Array (Fin 2))

Equations

• decodeG6 s = decodeG6Adjacency (s.drop 1) (charToValue s.front)

def polygonSvg (g6 : String) : String

Equations

• One or more equations did not get rendered due to their size.

def g6PolygonSvgPresenter : ProofWidgets.ExprPresenter

Equations

• One or more equations did not get rendered due to their size.