La bibliothèque se documente elle-même · Diagrammes et graphes

stzMathDiagram

83 méthodes propres · 10 formes avec extensions, rangées sous leur méthode

la source: base/graph/stzMathDiagram.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Diagrammes et graphes

Sous chaque méthode, ses extensions (Q CS XT Z ZZ IB W U) : en gras et cochée, elle existe ; barrée, elle n'existe pas. Les extensions et leur sens

Exemples : 0 viennent des tests de la bibliothèque ; 25 ont été composés à partir de la signature de chaque méthode et exécutés pour cette page, sur un objet neuf, par exemple o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle()). 58 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 20:34 dans la bibliothèque au commit 0e72e2e2c.

Méthode

Explication, telle que la source la porte

init

(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension

SetFont

knobsQCSXTZZZIBWU

SetVariation

Penrose's "variation": the same string, the same picture. Any text folds to a seed; a number is used as it is. SeedRandom refuses a seed at or above 1,999,999,999, so the fold stays under it.QCSXTZZZIBWU

SolveProfile

the live figure (DN8g) -------------------------------------------------- A RE-SOLVE FROM WHERE THE FIGURE STANDS. Nothing is recompiled and no start is drawn: the current values are the start, and the solver settles the picture nearby. LayoutMs() then reports this solve. where the last solve spent its time, in ms: building the energy text, compiling it, minimising, reading the violations, and folding derived names to numbers (counted inside :text) -- plus the roundsaucune extension

Relayout

(sans commentaire dans la source : le nom se lit comme une phrase) relayoutdans la section Same as Layout: the answerQCSXTZZZIBWU

DragTo

THE DRAG. The shape's centre is put where the author released it, held there while the rest of the figure re-solves around it, and let go again unless it was pinned before. A shape whose centre no rule left free -- a placed name, a square derived from its triangle -- is refused: there is nothing there to drag.QCSXTZZZIBWU

A PIN holds every free property of a shape at its current value through any re-solve, cold or warm -- the plastic editor's pin, for a figure whose coordinates are solved rather than laid out.QCSXTZZZIBWU

Unpin

(sans commentaire dans la source : le nom se lit comme une phrase) unpinQCSXTZZZIBWU

UnpinAll

(sans commentaire dans la source : le nom se lit comme une phrase) unpin allaucune extension

IsPinned

(sans commentaire dans la source : le nom se lit comme une phrase) is pinned

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.IsPinned("a")
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Pins

the shapes pinned, by pathaucune extension

Draggable

the shapes a gesture can take hold of: a free centre, and a bodyaucune extension

PickAt

WHAT IS UNDER THE POINTER: the nearest draggable shape whose body -- or a ten-pixel reach around its centre -- holds the point; "" when the pointer is on the paper.aucune extension

OnPress

THE GESTURE, in the plastic editor's three verbs. A press takes hold of what is under the pointer; a move previews and re-solves NOTHING -- the window paints the dragged shape where DragPreview() says -- and the release is the one drag, from where the author let go.aucune extension

OnMove

(sans commentaire dans la source : le nom se lit comme une phrase) on moveaucune extension

DragPreview

(sans commentaire dans la source : le nom se lit comme une phrase) drag previewaucune extension

OnRelease

(sans commentaire dans la source : le nom se lit comme une phrase) on releaseaucune extension

UiState

(sans commentaire dans la source : le nom se lit comme une phrase) ui state

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.UiState()
#--> idle

composé à partir de la signature, exécuté pour cette page

aucune extension

Layout

the answerQCSXTZZZIBWU

IsFeasible

(sans commentaire dans la source : le nom se lit comme une phrase) is feasibledans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.IsFeasible()
#--> 1

composé à partir de la signature, exécuté pour cette page

aucune extension

Violation

The largest constraint violation, in pixels. Zero is a lawful picture.

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.Violation()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Violations

Every constraint with its violation, in the house rule shape so a CI gate can ingest it: a contradictory substance is a FINDING, not a crash -- Penrose's Fig. 2, a logically inconsistent program that "fails gracefully, providing visual intuition for why".aucune extension

Energy

(sans commentaire dans la source : le nom se lit comme une phrase) energydans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.Energy()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Rounds

(sans commentaire dans la source : le nom se lit comme une phrase) roundsdans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.Rounds()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Evaluations

(sans commentaire dans la source : le nom se lit comme une phrase) evaluationsdans la section Same as Layout: the answeraucune extension

LayoutMs

(sans commentaire dans la source : le nom se lit comme une phrase) layout msdans la section Same as Layout: the answeraucune extension

NumberOfUnknowns

(sans commentaire dans la source : le nom se lit comme une phrase) number of unknownsdans la section Same as Layout: the answeraucune extension

NumberOfConstraints

(sans commentaire dans la source : le nom se lit comme une phrase) number of constraintsdans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.NumberOfConstraints()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Why

(sans commentaire dans la source : le nom se lit comme une phrase) whydans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.Why()
#--> nothing to lay out -- no rule minted an unknown

composé à partir de la signature, exécuté pour cette page

aucune extension

CanvasWidth

the paper, and what a shape is beyond its geometry -- for the rules that judge a picture rather than solve it (DN8c)

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.CanvasWidth()
#--> 720

composé à partir de la signature, exécuté pour cette page

aucune extension

CanvasHeight

(sans commentaire dans la source : le nom se lit comme une phrase) canvas height

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.CanvasHeight()
#--> 640

composé à partir de la signature, exécuté pour cette page

aucune extension

ShapeOwnerOf

(sans commentaire dans la source : le nom se lit comme une phrase) shape owner ofdans la section Same as Layout: the answeraucune extension

IsHidden

(sans commentaire dans la source : le nom se lit comme une phrase) is hiddendans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.IsHidden("a")
#--> 1

composé à partir de la signature, exécuté pour cette page

aucune extension

PropOf

(sans commentaire dans la source : le nom se lit comme une phrase) prop ofdans la section Same as Layout: the answeraucune extension

ShapeOf

The solved geometry of one shape: [ :kind, :cx, :cy, :r ] for a circle, [ :kind, :cx, :cy, :w, :h ] for a rect or text, [ :kind, :x1, :y1, :x2, :y2 ] for a line.aucune extension

ValueOf

The solved value of any name: an unknown, a constant, a field, a derived property -- "u.arrow.x2", "U.ox".

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.ValueOf("a")
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Shapes

(sans commentaire dans la source : le nom se lit comme une phrase) shapesdans la section Same as Layout: the answeraucune extension

NumberOfShapes

(sans commentaire dans la source : le nom se lit comme une phrase) number of shapesdans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.NumberOfShapes()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

DrawIndexOf

Where a shape falls in the drawing order: 1 is painted first and so sits at the back. A shape that must not be buried has to come out with a HIGHER index than everything that could cover it, and that is a fact about the picture worth asserting rather than eyeballing -- layering is a partial order, and the depths it relaxes to are not obvious from reading the rules.aucune extension

PolygonOf

A polygon's vertices, or a spline's control points, in order: [ x1, y1, x2, y2, ... ].aucune extension

SplinePointsOf

The polyline a spline is drawn as, in px -- the control points are in PolygonOf. CATMULL-ROM, CENTRIPETAL: for each span P1-P2 the four points P0..P3 are blended with knots spaced by the square root of the chord, which is the parametrisation that never cusps or loops between two points however they are spaced (Yuksel, Schaefer, Keyser 2011). An open spline doubles its end points so the curve reaches them; a closed one wraps. Twelve samples per span.aucune extension

CurvePointsOf

The polyline a geodesic is drawn as: [ x1, y1, x2, y2, ... ] in px.aucune extension

MarkStrokesOf

The strokes a mark is drawn as: a list of polylines, each flat in px.aucune extension

ToCanvas

drawingaucune extension

ToSVG

(sans commentaire dans la source : le nom se lit comme une phrase) to svg

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.ToSVG()
#--> <svg xmlns="http://www.w3.org/2000/svg" width="720" height="640" viewBox="0 0 720 640">
#--> <rect x="0" y="0" width="720" height="640" fill="rgb(255,255,255)"/>
#--> </svg>

composé à partir de la signature, exécuté pour cette page

aucune extension

Rendition

A VALUE THAT SAYS WHAT IT IS (DN9g) --------------------------------- A picture's natural rendition is its drawn geometry, which travels as text and needs no file. The raster and the substance's graph are the same picture seen the other two ways a consumer asked for.aucune extension

RenditionKinds

(sans commentaire dans la source : le nom se lit comme une phrase) rendition kinds

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? @@( o1.RenditionKinds() )
#--> [ "vector", "image", "graph", "text" ]

composé à partir de la signature, exécuté pour cette page

aucune extension

RenditionAs

(sans commentaire dans la source : le nom se lit comme une phrase) rendition asQCSXTZZZIBWU

RenditionAtQ

Same as RenditionAsXT: An empty path means the name this class would have chosen, so every caller written before today means exactly what it meant. A path given for a CARRIED kind is refused by name rather than ignored: a caller who asks for an SVG at a path is not asking for nothing, they are holding a wrong belief about the contract, and being told is the cheaper outcome.aucune extension

Substance

(sans commentaire dans la source : le nom se lit comme une phrase) substanceaucune extension

ToPNG

(sans commentaire dans la source : le nom se lit comme une phrase) to pngaucune extension

Fact

THE GENERAL KIND IS :expr, and the others are its named shortcuts. A picture already has a language for talking about itself -- the one a Style writes its rules in -- so a fact asks a question in that language and the answer comes off the same tape the solver used. That is what makes a caption's number the picture's number rather than a second calculation that could drift from it.aucune extension

ConstraintText

the energy text of a rule, so a narration can show what the engine was handed and how big it becameaucune extension

SetPictureTheme

WHAT A FRAME MAY CHANGE BETWEEN TWO PICTURES (DN9f). Haro copies an object on assignment, so a caller holding the substance or the style is holding a different one from the picture's; these are the doors through which a narration's action reaches the picture it is about.aucune extension

SetSubstanceData

A DATUM IS CONTENT, so changing one means the picture is compiled again -- unlike a theme, which changes only what a role resolves to.aucune extension

SetWindow

WHAT DOES NOT SCALE IS THE TYPE. A zoom here is for reading, not a photographic enlargement: the names keep their size and only their positions move, so a close view is more legible rather than merely bigger. Stroke widths do scale, because a hairline blown up eight times and still one pixel wide reads as a different picture.QCSXTZZZIBWU

WindowOn

centred on what a frame is about, with a reach around it -- the form an author actually writesQCSXTZZZIBWU

ClearWindow

(sans commentaire dans la source : le nom se lit comme une phrase) clear windowaucune extension

HasWindow

(sans commentaire dans la source : le nom se lit comme une phrase) has window

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.HasWindow()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Window

(sans commentaire dans la source : le nom se lit comme une phrase) windowaucune extension

WindowScale

how much bigger the view is than the figure; 1 with no window

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.WindowScale()
#--> 1

composé à partir de la signature, exécuté pour cette page

aucune extension

IsInWindow

IS THIS THING IN VIEW? What a frame shows decides whether a mark is any use, and a mark pointing at something outside the window is a narration defect the one gate reports.

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.IsInWindow("a")
#--> 1

composé à partir de la signature, exécuté pour cette page

aucune extension

VisibleShapes

the shapes a reader can actually see, in draw orderaucune extension

Emphasis

EVERY MARK IS DERIVED, NEVER PLACED. Its geometry comes from the picture's solved values or from a rule actually in force -- which is the whole point of the plane, because a mark a person positions is a mark nobody checks. Marks are minted AFTER the solve and hold every existing unknown pinned while they place themselves, so adding one cannot move the figure it describes: frame two's figure is frame one's figure, to the last pixel. A HARO, A FOCUS OR A DIM. Emphasis changes how a shape already in the picture reads, so it mints nothing for :focus and :dim -- it rewrites the shape's own stroke -- and mints one circle for :ring.aucune extension

Measure

A DIMENSION BETWEEN TWO THINGS, WITH ITS NUMBER. The line runs centre to centre, the number is the distance FACT -- so the figure and the caption cannot disagree -- and the number's own label is solved off the ink like any other name.aucune extension

Callout

A SENTENCE ATTACHED TO A THING. The sentence may carry a hole, and a hole is filled from a FACT rather than typed -- which is the rule the whole plane exists to enforce. The label is solved: off the ink, off other names, on the paper, exactly as a vertex's name is, which is why a callout needed no new solver.aucune extension

Show

A RULE'S OWN BOUNDARY, AS A SHAPE. The leash a name must stay inside is a circle nobody ever drew, because it exists only as a term in the energy; showing it is reading that term's own arguments and turning them into geometry. Only the forms whose boundary IS a shape are shown, and the rest are refused by name rather than approximated.aucune extension

Region

AN AREA, TINTED. Where Show draws a boundary, Region fills what the boundary encloses -- the strip an edge forbids, the disc a clearance reserves. A strip is the segment's own rectangle, four corners derived from the segment's direction, so it bends with the picture.aucune extension

Marks

what this picture carries, as [ path, kind ] -- so a frame can say what it added and a later frame can take it away againaucune extension

NumberOfMarks

(sans commentaire dans la source : le nom se lit comme une phrase) number of marks

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.NumberOfMarks()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

ClearMarks

(sans commentaire dans la source : le nom se lit comme une phrase) clear marksaucune extension

FillOf

The colour a shape is drawn with, after its rule is resolved: what the guard reads, and what a consumer of the SVG gets.aucune extension

StrokeOf

(sans commentaire dans la source : le nom se lit comme une phrase) stroke ofdans la section Same as Layout: the answeraucune extension

Background

the paper's colour: the theme's background

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.Background()
#--> #FFFFFF

composé à partir de la signature, exécuté pour cette page

aucune extension

MatchCandidates

how many candidate bindings the last compile enumerated

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.MatchCandidates()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

StartsTried

Uniform over the canvas, as Penrose samples; radii and sizes from a band that gives the solver room. Three draws, the one with the least initial energy kept -- Penrose 4.2.1. How many starts the last layout needed, and which one it kept. A start the graph could not give -- a planar one on a tree, a layout on a substance with no graph -- falls back to random and says so.

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.StartsTried()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

AdvisoryUnmet

Crossing rules left unmet when the start was not planar and the rule was therefore advice: zero for a planar start, and for any picture that has no crossing rule.

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.AdvisoryUnmet()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

StartUsed

(sans commentaire dans la source : le nom se lit comme une phrase) start useddans la section Same as Layout: the answer

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.StartUsed()
#--> random

composé à partir de la signature, exécuté pour cette page

aucune extension

StartedPlanar

Did the last layout begin from a planar embedding? False when the style asked for none, and false when it asked and the graph could not give one -- a tree, a path, anything Tutte collapses.

exemple composé

o1 = new stzMathDiagram(StzGraphDomain(), new stzMathSubstance(StzGraphDomain()), StzCurvedGraphStyle())
? o1.StartedPlanar()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

OuterFace

The face the planar start was built on, as object names in cycle order; empty when there was no planar start.aucune extension

Touch

(sans commentaire dans la source : le nom se lit comme une phrase) touchaucune extension

Ink

Every drawn stroke as a segment, [ x1, y1, x2, y2, cOwner, cPath ] -- what a rule that judges the picture reads, once per solveaucune extension

Texts

EVERY DRAWN NAME -- the text shapes that are visible and say something -- once per solve, like the ink. Every name rule's scope listed them by resolving every shape of the picture, and the governance asks a scope thousands of times: on the five-thousand-dot picture that was five thousand resolutions per ask.aucune extension