CyBy.Draw.Internal.Ring

Definitions

nring : (n : Nat) -> {auto 0 _ : LT 2 n} -> CDIGraph n

  Creates a regular, saturated n-cycle of carbon atoms.

Totality: total
Visibility: export

ring : (n : Nat) -> {auto 0 _ : LT 2 n} -> CDGraph

  Creates a regular, saturated n-cycle of carbon atoms.

Totality: total
Visibility: export