DIRECTORYViewerClasses,Rope,Menus,IO,Convert,ViewerIO,ViewerTools,ViewerOps,TypeScript,Imager,ImagerColor,ImagerPath,AlgebraClasses,Points,BigRats,RatIntervals,Variables,DistribPolys,Polynomials,AlgebraicNumbers,ExtensionFields,Formulas,QETypes,QEIO,Cad2D,Cads,Graphs,GraphOps;QEIOTestMain: CEDAR PROGRAM    IMPORTS IO, Menus, ViewerIO, ViewerTools, ViewerOps, Convert, TypeScript, QEIO, Cad2D, Imager, ImagerColor, Cads, GraphOpsSHARES Imager =BEGIN OPEN AC: AlgebraClasses, PTS: Points, BR: BigRats, RI: RatIntervals, VARS: Variables, DP: DistribPolys, POL: Polynomials, AN: AlgebraicNumbers, EF: ExtensionFields, QFF: Formulas, QET: QETypes, QEIO;SEGMENTWIDTH: REAL = 2.; -- width of segment portion in edge drawingCad2DViewer: TYPE = ViewerClasses.Viewer;Cad2DViewerData: TYPE = REF Cad2DViewerDataRec;Cad2DViewerDataRec: TYPE = RECORD [x, y: REAL _ 0.0, -- origin for plotscale: REAL _ 100.0,  -- current scale for Imagercad2D: QET.Cad _ NIL];cad2DViewer: Cad2DViewer;ts: TypeScript.TS; -- the primary typescriptin, out: IO.STREAM; -- global variables for log writingdimension: NAT;cad: QET.Cad _ NIL;SetDimension: Menus.MenuProc = {dimension _ Convert.CardFromRope[ViewerTools.GetSelectionContents[] ];out.PutF["Dimension = %g\n\n", IO.card[dimension] ];};SetCadFromFile: Menus.MenuProc = {cad2DViewerData: Cad2DViewerData _ NARROW[cad2DViewer.data]; cad _ CadFileFromRope[ViewerTools.GetSelectionContents[] ];cad2DViewerData.cad2D _ GetInducedCad[cad, 2];dimension _ cad.dimension;WriteCadFile[cad, out];};Components: Menus.MenuProc = {edgePredicate: GraphOps.EdgePredicate ~ {cell1: QET.Cell _ NARROW[v.rep];cell2: QET.Cell _ NARROW[w.rep];RETURN[cell1.basisSignature.structure.class.equal[cell1.basisSignature, cell2.basisSignature] ];};inducedCad: QET.Cad _ QEIO.GetInducedCad[cad, dimension];numComponents: CARDINAL _ GraphOps.DetermineComponents[cad.abstractGraph, Undirected, edgePredicate];clusters: QET.SignedRegionSeq _ Cads.ExtractClusters[inducedCad, numComponents];QEIO.WriteSignedRegionSeq[clusters, out];};SetCad: Menus.MenuProc = {cad2DViewerData: Cad2DViewerData _ NARROW[cad2DViewer.data]; cad _ CadFromRope[ViewerTools.GetSelectionContents[] ];cad2DViewerData.cad2D _ QEIO.GetInducedCad[cad, 2];dimension _ cad.dimension;WriteCad[cad, out];};SetCoveringSets: Menus.MenuProc = {CoveringSetsFromRope[ViewerTools.GetSelectionContents[], cad];WriteCadCoveringSets[cad, out];};SetAdjacencies: Menus.MenuProc = {AdjacenciesFromRope[ViewerTools.GetSelectionContents[], cad];WriteCadAdjacencies[cad, out];};DisplayCad2D: Menus.MenuProc = {ViewerOps.PaintViewer[viewer: cad2DViewer, hint: client, whatChanged: NIL, clearClient: TRUE];};Zoom: Menus.MenuProc = {selfData: Cad2DViewerData _ NARROW[cad2DViewer.data]; IF mouseButton=red THEN {selfData.scale _ selfData.scale*2;selfData.x _ selfData.x - (1.0 / selfData.scale) * 300.0;selfData.y _ selfData.y - (1.0 / selfData.scale) * 350.0}ELSE {selfData.x _ selfData.x + (1.0 / selfData.scale) * 300.0;selfData.y _ selfData.y + (1.0 / selfData.scale) * 350.0;selfData.scale _ selfData.scale/2};ViewerOps.PaintViewer[viewer: cad2DViewer, hint: client, whatChanged: NIL, clearClient: TRUE];};Horizontal: Menus.MenuProc =  {selfData: Cad2DViewerData _ NARROW[cad2DViewer.data]; IF mouseButton=red THEN selfData.x _ selfData.x - (1.0 / selfData.scale) * 100.0 ELSEselfData.x _ selfData.x + (1.0 / selfData.scale) * 100.0;ViewerOps.PaintViewer[viewer: cad2DViewer, hint: client, whatChanged: NIL, clearClient: TRUE];};Vertical: Menus.MenuProc =  {selfData: Cad2DViewerData _ NARROW[cad2DViewer.data]; IF mouseButton=red THEN selfData.y _ selfData.y + (1.0 / selfData.scale) * 100.0 ELSEselfData.y _ selfData.y - (1.0 / selfData.scale) * 100.0;ViewerOps.PaintViewer[viewer: cad2DViewer, hint: client, whatChanged: NIL, clearClient: TRUE];};InitCad2DViewer: ViewerClasses.InitProc -- [self: ViewerClasses.Viewer] --  = {self.data _ NEW[Cad2DViewerDataRec _ [x: 8.0,y: 7.0,scale: 50.0]];self.name _ "Cad2DViewer";}; PaintCad2DViewer: ViewerClasses.PaintProc = {DoIt: PROC = {dotWidth: REAL _ 2.0 / selfData.scale ;segmentWidth: REAL _ 10.0 / selfData.scale ;context.ScaleT[selfData.scale];context.TranslateT[ [selfData.x, selfData.y] ];Cad2D.DisplayCad[selfData.cad2D, context, dotWidth, segmentWidth];};selfData: Cad2DViewerData _ NARROW[self.data];context.SetColor[ImagerColor.ColorFromAtom[$Black]];SELECT whatChanged FROMNIL => context.DoSaveAll[DoIt];ENDCASE => ERROR;};RegisterCad2DViewerClass: PROC ~ {menu: Menus.Menu _ Menus.CreateMenu[1];cad2DViewerClass: ViewerClasses.ViewerClass;Menus.AppendMenuEntry[menu:menu, entry:Menus.CreateEntry [name:"Zoom ", proc: Zoom], line:0];Menus.AppendMenuEntry[menu:menu, entry:Menus.CreateEntry [name:"Horizontal ", proc: Horizontal], line:0];Menus.AppendMenuEntry[menu:menu, entry:Menus.CreateEntry [name:"Vertical ", proc: Vertical], line:0];cad2DViewerClass _ NEW[ViewerClasses.ViewerClassRec _ [flavor: $Cad2DViewer,init: InitCad2DViewer,paint: PaintCad2DViewer,menu: menu]];ViewerOps.RegisterViewerClass[flavor: $Cad2DViewer, class: cad2DViewerClass];};ts _ TypeScript.Create[info: [name: "QE IO Test" ] ];Menus.ChangeNumberOfLines[menu: ts.menu, newLines: 2];Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"DisplayCad2D", proc: DisplayCad2D], line: 0];Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"Cad", proc: SetCad], line: 0];Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"CoveringSets", proc: SetCoveringSets], line: 0];Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"Adjacencies", proc: SetAdjacencies], line: 0];Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"CadFile", proc: SetCadFromFile], line: 1];Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"Dimension", proc: SetDimension], line: 0];Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"Components", proc: Components], line: 1];[in: in, out: out] _ ViewerIO.CreateViewerStreams[name: "QE IO Test",viewer: ts];RegisterCad2DViewerClass[];cad2DViewer _ ViewerOps.CreateViewer[flavor: $Cad2DViewer, info: [iconic:TRUE, column: color] ];END.  ژ  QEIOTestMain.mesaLast Edited by: Arnon, June 20, 1985 4:46:23 pm PDTCommander,Process,timesRomanBI: Imager.Font ~ ImagerFont.Scale[ImagerFont.Find["xerox/pressfonts/timesroman-brr"], 10.]; --- why does scale of 10. work?cellIndex: QET.CellIndex;SetCellIndex: Menus.MenuProc = {cellIndex _ CellIndexFromRope[ViewerTools.GetSelectionContents[], dimension];WriteCellIndex[cellIndex, out];}; User specifies polynomials with respect to which to cluster by (*,*,@,*,*,@) tuples (@ is new FormulaOperators.Op).[self: Viewer, context: Imager.Context, whatChanged: REF, clear: BOOL]See ImagerInterpress to expand to write Interpress master, /indigo/peach for how to use Versateccontext.ScaleT[0.0254/72];  -- conversion from meters to inches not needed????Paint: ViewerClasses.PaintProc = {[self: Viewer, context: Imager.Context, whatChanged: REF, clear: BOOL]See ImagerInterpress to expand to write Interpress master, /indigo/peach for how to use VersatecPlotFolium:  PROC = {traj: Imager.Trajectory;context.ScaleT[selfData.scale];context.TranslateT[ [selfData.x, selfData.y] ];     traj _ ImagerPath.MoveTo[ [1.587, 1.260] ];     traj _ ImagerPath.LineTo[traj, [1.562, 1.090] ];          traj _ ImagerPath.LineTo[traj, [-0.875, 0.249] ];     traj _ ImagerPath.LineTo[traj, [-0.906, 0.267] ];     traj _ ImagerPath.LineTo[traj, [-0.937, 0.284] ];     traj _ ImagerPath.LineTo[traj, [-0.969, 0.303] ];Imager.MaskStrokeTrajectory[context, traj ];      traj _ ImagerPath.MoveTo[ [1.587, 1.260] ];     traj _ ImagerPath.LineTo[traj, [1.562, 1.402] ];          traj _ ImagerPath.LineTo[traj, [2.469, -3.434] ];Imager.MaskStrokeTrajectory[context, traj ];};selfData: Cad2DViewerData _ NARROW[self.data];context.ScaleT[0.0254/72];  -- conversion from meters to inches not needed????context.SetStrokeWidth[SEGMENTWIDTH/ selfData.scale];context.SetColor[ImagerColor.ColorFromAtom[$Black]];SELECT whatChanged FROMNIL => context.DoSaveAll[PlotFolium];ENDCASE => ERROR;};notify: Notify,tipTable: TIPUser.InstantiateNewTIPTable["Plot.tip"],Menus.AppendMenuEntry[menu: ts.menu, entry:Menus.CreateEntry [name:"CellIndex", proc: SetCellIndex], line: 0];‌ت@  ک ڑœ™J™3J™ —ڑدk	ک	Jڑœ
™
Jڑœ™JڑœکJڑœکJڑœکIcodeڑ‌œکKکKڑœدcک	KکKڑœ
ک
KڑœکJڑœکJڑœکJڑœکJکJڑœکJڑœکJڑœکJڑœ
ک
JڑœکJڑœکJڑœکJڑœکJڑœ	ک	JڑœکJڑœکJکJڑœکJکJک	Jک —Inameڑذbxœ‌œ‌کڑœ‌œsک~Jڑ‌œ	ک—Jڑ‌œ‌œ‌œ‌œ
‌œ‌œ‌œ‌œ‌œ‌œ‌œ‌œ‌œ‌œکحJک Jڑ‌œ‌œ‍+کDKڑœg‍™†Jک Jڑœ‌œک)Jڑœ‌œ‌œک/ڑœ‌œ‌œک#Jڑœ‌œ‍ک$Jڑœ‌œ‍ک1Jڑœ‌œ‌کJڑœک—ڑœکJک —Kڑœ‌œ‍ک,Jڑœ	‌œ‌œ‍#ک7Jڑœ‌œکJڑœ‌œ™Jڑœ‌œ‌œکJک ڑدnœ™ IdefaultڑœM™MJڑœ™J™J™ —ڑ œک MڑœFکFJڑœ‌œک4JکJک —ڑ œک"Jڑœ#‌œک=Mڑœ;ک;Mڑœ.ک.MڑœکJڑœکJکJک —ڑ 
œکJڑ‍t™tڑœ)ک)Jڑœ‌œ‌œک Jڑœ‌œ‌œک Jڑ‌œZک`Jک—Jڑœ‌œ‌œک9Jڑœ‌œ œ/کeJڑœ
‌œ œکPJڑ‌œ%ک)JکJک —ڑ œکJڑœ#‌œک=Mڑœ7ک7Mڑœ3ک3MڑœکJڑœکJکJک —ڑ œک#Mڑœ>ک>MڑœکJکJک —ڑ œک"Mڑœ=ک=MڑœکJکJک —ڑ œک JڑœF‌œ‌œک^Jک—Jک ڑ œکJڑœ‌œک6ڑ‌œ‌œکJڑœ"ک"Jڑœ9ک9Jڑœ8ک8Jک—ڑ‌œکJڑœ9ک9Jڑœ9ک9Jڑœ!ک!Jک—JڑœF‌œ‌œک^JکJک —ڑ 
œکJڑœ‌œک6ڑ‌œ‌œ:‌کUJڑœ9ک9—JڑœF‌œ‌œک^JکJک —ڑ œکJڑœ‌œک6ڑ‌œ‌œ:‌کUJڑœ9ک9—JڑœF‌œ‌œک^JکJک —ڑ œذck#œکOڑœ‌œک&JڑœدfœکJڑœ¢کJڑœکJڑœک—JکJک—ڑ œک-Jڑœ5‌œ	‌œ™FJ™`ڑ œ‌œکJڑœ
‌œک'Jڑœ‌œک,JڑœکJڑœ/ک/JڑœBکBJک—Jڑœ‌œک.Jڑœ‍2™NJڑœ4ک4ڑ‌œ‌کJڑ‌œکJڑ‌œ‌œک—JکJ™ —ڑ œ™"Jڑœ5‌œ	‌œ™FJ™`ڑ 
œ‌œ™Jڑ¢œ™Jڑœ™Jڑœ 
œ™/J™ Jڑ¢ب™بJڑœ%¢œ™,J™ Jڑ¢£™£Jڑœ%¢œ™,J™J™ —Jڑœ‌œ™.JڑœN™NJڑœ‌œ™5Jڑœ4™4ڑ‌œ‌™Jڑ‌œ"™%Jڑ‌œ‌œ™—J™J™ —ڑ œ‌œک"Jڑœ'ک'Jڑœ,ک,Jڑœ]ک]JڑœiکiJڑœeکeڑœ‌œ!ک7JکJڑœکJ™Jڑœ5™5JڑœکJک
Jک—JڑœMکMJکJ™ —Kڑœ5ک5Jڑœ6ک6JڑœqکqJڑœbکbJڑœtکtJڑœrکrJڑœn™nJڑœnکnJڑœnکnJڑœmکmKڑœQکQKک JڑœکڑœI‌œک`Jک —Jڑ‌œکJک ک J™ —Jک ک J™ —— …—    ؛  (ˆ  