Documentation

randomPoints :: [Number] -> [(Number, Number)] #

dot_radius :: Number #

coordSize :: Number #

label :: (Text, (Number, Number)) -> Picture #

data Pt #

plus_pt :: Picture #

eks_pt :: Picture #

star_pt :: Picture #

dot_pt :: Picture #

drawPointAs :: Picture -> (Number, Number) -> Picture #

drawPoint :: (Number, Number) -> Picture #

drawCircle :: (Point, Point) -> Picture #

drawPointsLabels :: [(Number, Number)] -> [Text] -> Picture #

drawLineWith :: ([(Number, Number)] -> p) -> (Point, Point) -> p #

drawLine :: (Point, Point) -> Picture #

drawSegment :: (Point, Point) -> Picture #

drawRay :: (Point, Point) -> Picture #

showPoint :: (Number, Number) -> Text #

showPointsLabels :: [(Number, Number)] -> [Text] -> Text #

backPlane :: Number -> Picture #

apart :: Point -> Point -> Bool #

circle_circle :: (Point, Point) -> (Point, Point) -> [Point] #

line_circle :: (Point, Point) -> (Point, Point) -> [Point] #

line_line :: (Point, Point) -> (Point, Point) -> [Point] #

beyond :: (Point, Point) -> Point -> Bool #

outside :: (Point, Point) -> Point -> Bool #

between :: (Point, Point) -> Point -> Bool #

sameside :: Point -> (Point, Point) -> Point -> Bool #

across :: Point -> (Point, Point) -> Point -> Truth #

find :: (a -> Bool) -> [a] -> Maybe a #

find_apart :: Point -> [Point] -> Point #

showpoint :: (Number, Number) -> Text #

eps :: Number #

coarsenum :: Number -> Number #

coarse_gt :: Number -> Number -> Bool #

coarse_lt :: Number -> Number -> Bool #

coarse_ne :: Number -> Number -> Bool #

coarsepoint :: (Number, Number) -> (Number, Number) #

origin :: Point #

unitx :: Point #

unity :: Point #

(+|) :: (Number, Number) -> (Number, Number) -> (Number, Number) #

(-|) :: (Number, Number) -> (Number, Number) -> (Number, Number) #

(*|) :: Number -> (Number, Number) -> (Number, Number) #

(/|) :: (Number, Number) -> Number -> (Number, Number) #

(.|) :: (Number, Number) -> (Number, Number) -> Number #

vec :: Point -> Point -> Point #

neg :: Point -> Point #

ort :: Point -> Point #

norm :: Point -> Number #

uvec :: Point -> Point -> Point #

projection :: (Point, Point) -> Point -> Point #

dist :: Point -> Point -> Number #

rotate_axes :: (Number, Number) -> (Number, Number) -> (Number, Number) #

translate_axes :: Point -> Point -> Point #

newtype StdLine #

normalize :: Number -> Number -> Number -> StdLine #

stdline :: (Point, Point) -> StdLine #

translate_axes_line :: (Number, Number) -> StdLine -> StdLine #

line_gety :: StdLine -> Number -> Number #

line_getx :: StdLine -> Number -> Number #

line_isVertical :: StdLine -> Bool #

dist_point_line :: (Number, Number) -> StdLine -> Number #

type Circle = (Point, Point) #

phase :: Point -> Number #

angle :: Point -> Point -> Point -> Number #

angle_sub :: Number -> Number -> Number #

dphase :: (Number, Number) -> (Number, Number) -> (Number, Number) #

internal_beyond :: (Point, Point) -> Point -> Truth #

centered :: [Point] -> [Point] #

midpoint :: [(Number, Number)] -> (Number, Number) #

mirror :: Point -> Point -> Point #

parallel :: ((Number, Number), (Number, Number)) -> (Number, Number) -> ((Number, Number), (Number, Number)) #

perpendicular :: ((Number, Number), (Number, Number)) -> (Number, Number) -> ((Number, Number), (Number, Number)) #

bisector :: (Number, Number) -> (Number, Number) -> (Point, Point) #

data Triangle #

fromPoints :: [Point] -> Triangle #

withBase :: Number -> Triangle -> Triangle #

withHeight :: Number -> Triangle -> Triangle #

solve_quadratic :: Number -> Number -> Number -> [Number] #

solve_lines_standard :: (Number, Number, Number) -> (Number, Number, Number) -> [(Number, Number)] #

solve_lines :: (Point, Point) -> (Point, Point) -> [(Number, Number)] #

solve_line_centeredcircle :: (Number, Number, Number) -> Number -> [(Number, Number)] #

solve_line_circle :: (Point, Point) -> (Point, Point) -> [Point] #

radius_cond :: (Number -> Number -> Truth) -> Number -> Number -> Number -> Truth #

radius_gt :: Number -> Number -> Number -> Truth #

solve_circles_easy :: Number -> Number -> Number -> [(Number, Number)] #

solve_circles_medium :: Number -> Number -> (Number, Number) -> [(Number, Number)] #

solve_circles_hard :: Number -> (Number, Number) -> Number -> (Number, Number) -> [(Number, Number)] #

solve_circles :: ((Number, Number), Point) -> ((Number, Number), Point) -> [(Number, Number)] #