DIRECTORY G3dBasic, G3dShape, ImplicitCubeTet, ImplicitStorage, Rope;

ImplicitMinimal: CEDAR DEFINITIONS
 ~ BEGIN
Triple:		TYPE ~ G3dBasic.Triple;
CubeProc:	TYPE ~ ImplicitCubeTet.CubeProc;
Tetrahedron:	TYPE ~ ImplicitCubeTet.Tetrahedron;
IDs:			TYPE ~ ImplicitStorage.IDs;
Edges:		TYPE ~ ImplicitStorage.Edges;
Vertices:		TYPE ~ ImplicitStorage.Vertices;

Function:		TYPE ~ PROC [point: Triple, clientData: REF ANY] RETURNS [value: REAL м 0.0];
TriangleProc:	TYPE ~ PROC [i1, i2, i3: INT, vertices: Vertices]
						RETURNS [continue: BOOL м TRUE];

Error:		ERROR [reason: Rope.ROPE];

Propagate: PROC [
function: Function,
level, size: REAL,
clientData: REF ANY м NIL,
start: Triple м [],
action: CubeProc]
RETURNS [centers: REF ImplicitStorage.Centers];
ProcessTet: PROC [
function: Function,
clientData: REF ANY,
level: REAL,
tet: REF Tetrahedron,
tetID: INT,
ids: REF IDs,
edges: REF Edges,
vertices: Vertices,
epsilon: REAL,
action: TriangleProc]
RETURNS [Vertices];

Triangulate: PROC [
function: Function,						-- the implicit function
level: REAL,								-- contour level
size: REAL,								-- size of cubic partitioning
clientData: REF ANY м NIL,			-- passed back to function
start: Triple м [],						-- if [], randomly search
triangleAction: TriangleProc]			-- called per generated triangle
RETURNS [error: Rope.ROPE];

ShapeFromFunction: PROC [
function: Function,
level, size: REAL,						-- level, cube size
clientData: REF ANY м NIL,			-- passed back to function
start: Triple м [],						-- if [], randomly search
statusAction: TriangleProc м NIL]		-- progress report, usually graphical
RETURNS [G3dShape.Shape];

Converge: PROC [pos, neg: Triple, val, level: REAL, function: Function, clientData: REF ANY]
RETURNS [Triple];

Normal: PROC [point: Triple, function: Function, delta: REAL, clientData: REF ANY]
RETURNS [Triple];
FindStart: PROC [
ballpark: Triple,
function: Function,
size, level: REAL,
clientData: REF ANY м NIL]
RETURNS [Triple];

END.
   b  
ImplicitMinimal.mesa
Copyright c 1991 by Xerox Corporation.  All rights reserved.
Bloomenthal, December 27, 1992 12:18 pm PST

Minimal Polygonizer
Propagate cubes across the implicit function.

Call action for each triangle produced from the tetrahedron.
If ids = NIL, do not tha tests if tetrahedral corner is negligibly close to surface.
Generate points and polygons for the given function at the given contour level.
Utility for G3d clients.  ! Error.
Converge to a point on the surface.
Return the normal at the given point.

Attempt to find a starting point.  ! Error["can't find starting point"}.
Э╩Ї  ХNewlineDelimiter
Щ ЩJЪЬ
╧mЬ1Щ<JЩ+ЧJЩ Ъ╧k	Ь<ШEJШ ЧJХ	CharProps'Postfix16.0 24 .div 1 1 textColor Ъ╨blЬЮЬЮШ"JЪЬЮШheadЦ16.0 24 .div 1 1 textColorЪ╧lЩJЪЬ	ЮЬШ JЪЬ
ЮЬШ*JЪЬЮЬШ0JЪЬЮЬШ"JЪЬЮЬШ%JЪЬЮЬШ+JШ JЪЬЮЬЮЬЮЬЮЬЮЬ	ЮЬШXЪЬ╧sЮбЬбЮбЬбЬбЬбЮЬбЬ	Ь
Ш?JЪЬЮбЬ
бЮбЬбЮЬШ&JШ ЧЦ&Postfix0.0 24 .div 1 1 textColor Ъ╧nЮЬЮЬШ"JШ ЧЪв	ЬЮЬШJШJЪЬЮЬШJЪЬЮЬЮЬЮЬШJШJШJЪЮЬЮЬШ/JЦ16.0 24 .div 1 1 textColorЩ-JЩ ЧЪв
ЬЮЬШJШJЪЬЮЬЮЬШJЪЬЮЬШJЪЬЮЬШJЪЬЮЬШJЪЬЮЬШJЪЬЮЬШJШJЪЬ	ЮЬШJШJЪЮЬЬ
ШJЦ16.0 24 .div 1 1 textColorЩ<JЦ16.0 24 .div 1 1 textColorЪЬ	бЬHЩTJЦ16.0 24 .div 1 1 textColorШ ЧЪвЬЮЬШJЪЬ╧cШ1JЪЬЮЬ	гШ$JЪЬЮЬ	гШ0JЪЬЮЬЮЬЮЬгШ7JЪЬгШ2JЪЬ г Ш@JЪЮЬЮЬШJЦ16.0 24 .div 1 1 textColorЩOJШ ЧЪвЬЮЬШJШJЪЬЮЬгШ+JЪЬЮЬЮЬЮЬгШ7JЪЬгШ2JЪЬЮЬг%ШHJЪЮЬШЦ16.0 24 .div 1 1 textColorЩ"JШ ЧЧЪвЬЮбЬбЬбЬбЮЬ"ЮЬЮЬШ\JЪЮЬ
ШJЦ16.0 24 .div 1 1 textColorЩ#JШ ЧЪ
вЬЮЬ,ЮЬЮЬЮЬШRJЪЮЬ
ШJЦ16.0 24 .div 1 1 textColorЩ%JЩ ЧЪв	ЬЮЬШJШJШJЪЬЮЬШJЪЬЮЬЮЬЮЬШJЪЮЬ
ШЦ16.0 24 .div 1 1 textColorЩHJШ ЧЧЧJЪЮЬШЧ ЕЧ    ░    