Softanza
DémarrerEnglish
Softanza
DémarrerEnglish
Référence · Données et langage de base

Numérique et optimisation

255 fonctions dans 36 classes, groupées par ce qu'elles font, chacune avec l'explication que la bibliothèque donne d'elle-même.

Le récit de ce domaine, pour un lecteur général : ce qu'un artisan en fait, un exemple exécuté et ses couloirs notés, est sur sa page de la Plateforme.

Les fonctions, par ce qu'elles font

Tester et vérifier

  • IsOdd TRUE if the number is odd. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsOdd()
#--> 0
    composé à partir de la signature, exécuté pour cette page
  • IsChar checking if the number is a char dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsChar()
#--> 1
    composé à partir de la signature, exécuté pour cette page
  • IsEven TRUE if the number is even. dans stzNumber
    # a number
? Q(2).IsNumber()
# even
? Q(2).IsEven()
# positive
? Q(2).IsPositive()
#--> 1
#--> 1
#--> 1
    test de la bibliothèque · écrit IsANumber() dans la bibliothèque aujourd'hui : le langage hôte tient déjà IsNumber(), et Haro supprime le détour
  • IsItem Always TRUE: a number can be a list item. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsItem()
#--> 1
    composé à partir de la signature, exécuté pour cette page
  • IsLess TRUE if the number is less than or equal to the given one. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsLess(3)
#--> 0
    composé à partir de la signature, exécuté pour cette page
  • IsReal TRUE if the number has a fractional part. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsReal()
#--> 0
    composé à partir de la signature, exécuté pour cette page
  • IsTrue TRUE if the number is 1. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsTrue()
#--> 0
    composé à partir de la signature, exécuté pour cette page
  • IsZero null, positive or negative dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsZero()
#--> 0
    composé à partir de la signature, exécuté pour cette page
  • IsAList Always FALSE: a number is not a list. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsList()
#--> 0
    composé à partir de la signature, exécuté pour cette page · écrit IsAList() dans la bibliothèque aujourd'hui : le langage hôte tient déjà IsList(), et Haro supprime le détour
  • IsExact Numeric surprise is almost always about a frame the caller could not see: a rounding, a binary-float representation, a division that does not terminate. So the number carries that fact rather than making you deduce it -- the same habit as the natural layer's evidential register. dans stzNumber
    oT = StzNumberQ("1")
oT.Divide("3")
? oT.Content()
? oT.IsExact()
? oT.WhyNotExact()
#--> 0.333333
#--> 0
#--> the division does not terminate in 6 decimal place(s)
    test de la bibliothèque
  • IsFalse TRUE if the number is 0. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsFalse()
#--> 0
    composé à partir de la signature, exécuté pour cette page
  • IsPrime TRUE if the number is prime. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.IsPrime()
#--> 0
    composé à partir de la signature, exécuté pour cette page

et 96 autres dans la référence

Trouver

  • FindMax finding the largest number dans stzListOfNumbers
    o1 = new stzListOfNumbers([ 12, 10, 98, 3, 23, 98, 7 ])
? o1.Min()
? o1.FindMin() + NL
? o1.Max()
? o1.FindMax()
#--> 3
#--> 4
#--> 98
#--> 3
    test de la bibliothèque
  • FindMin finding the smalles number dans stzListOfNumbers
    o1 = new stzListOfNumbers([ 12, 10, 98, 3, 23, 98, 7 ])
? o1.Min()
? o1.FindMin() + NL
? o1.Max()
? o1.FindMax()
#--> 3
#--> 4
#--> 98
#--> 3
    test de la bibliothèque
  • FindTop3 The positions of the 3 largest numbers. dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? @@( o1.FindTop3() )
#--> [ 4, 5, 6 ]
    composé à partir de la signature, exécuté pour cette page
  • FindBottom3 The positions of the 3 smallest numbers. dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? @@( o1.FindBottom3() )
#--> [ 1, 2, 3 ]
    composé à partir de la signature, exécuté pour cette page
  • FindNLowestNumbers The positions of the n smallest numbers. dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? @@( o1.FindNLowestNumbers(2) )
#--> [ 1, 2 ]
    composé à partir de la signature, exécuté pour cette page
  • FindNLargestNumbers The positions of the n largest numbers. dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? @@( o1.FindNLargestNumbers(2) )
#--> [ 5, 6 ]
    composé à partir de la signature, exécuté pour cette page
  • FindCol `def`, not `func`. Inside a class body `func` does not define a method, so FindCol was unreachable and FindCols -- its only caller -- raised R14. It was the sole `func` among 95 definitions here; FindRow, FindRows and FindCols all use `def`. dans stzMatrix
    o1 = new stzMatrix([
	[ 88, 85, 88 ],
	[ 70, 88, 70 ],
	[ 99, 65, 99 ]
])
? @@( o1.FindCol([ 88, 70, 99 ]) )
#--> [ 1, 3 ]
    test de la bibliothèque
  • FindElementsInSection Getting the section of elements between two positions dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
? @@( o1.FindElementsInSection([ 2, 3 ], [ 2, 3 ]) )
#--> [ [ 3, 2 ] ]
    composé à partir de la signature, exécuté pour cette page
  • Search The distance is SQUARED Euclidean over the stored vectors -- squared because the square root changes nothing about the ordering and costs a call per candidate. In :Cosine mode the vectors are unit-length, so the distance is 2 - 2*cos and CosineSimilarityTo() reads it back as a cosine. dans stzVectorIndex
  • SearchExact The exact answer by full scan -- O(n) and the ground truth. Use it on a small corpus, or to measure what the approximate path is missing. dans stzVectorIndex
  • SearchWithBudget The same, with the candidate budget stated. Bigger budget, better recall, more work. 0 asks for the default. dans stzVectorIndex

Compter et mesurer

  • HowMany How many times the given digit occurs in the number. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.HowMany(2)
#--> 1
    composé à partir de la signature, exécuté pour cette page
  • MaxRound The largest round (decimals) this number can still carry. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.MaxRound()
#--> 17
    composé à partir de la signature, exécuté pour cette page
  • NumberWithSign The number as a string with its explicit sign (+ or -). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.NumberWithSign()
#--> +12
    composé à partir de la signature, exécuté pour cette page
  • NumberOfRoundsWeCanAddBeforeMaxRoundIsReached How many more decimals can be added before the max round. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.NumberOfRoundsWeCanAddBeforeMaxRoundIsReached()
#--> 13
    composé à partir de la signature, exécuté pour cette page
  • Max finding the largest number dans stzListOfNumbers
    o1 = new stzListOfNumbers(1:8)
? o1.sum()
? o1.Product()
? o1.Max()
? o1.Mean()
#--> 36
#--> 40320
#--> 8
#--> 4.50
    test de la bibliothèque
  • Min finding the smalles number dans stzListOfNumbers
    o1 = new stzListOfNumbers([ 12, 10, 98, 3, 23, 98, 7 ])
? o1.Min()
? o1.FindMin() + NL
? o1.Max()
? o1.FindMax()
#--> 3
#--> 4
#--> 98
#--> 3
    test de la bibliothèque
  • Sum The sum of all the numbers. dans stzListOfNumbers
    o1 = new stzListOfNumbers(1:8)
? o1.sum()
? o1.Product()
? o1.Max()
? o1.Mean()
#--> 36
#--> 40320
#--> 8
#--> 4.50
    test de la bibliothèque
  • Mean The arithmetic mean (average) of the numbers. dans stzListOfNumbers
    o1 = new stzListOfNumbers(1:8)
? o1.sum()
? o1.Product()
? o1.Max()
? o1.Mean()
#--> 36
#--> 40320
#--> 8
#--> 4.50
    test de la bibliothèque
  • NumberAt The number at position n. dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? o1.NumberAt(2)
#--> 8
    composé à partir de la signature, exécuté pour cette page
  • NumberOfNumbers How many numbers the list holds. dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? o1.NumberOfNumbers()
#--> 6
    composé à partir de la signature, exécuté pour cette page
  • MaxAndItsPosition finding the largest number dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? @@( o1.MaxAndItsPosition() )
#--> [ 42, 6 ]
    composé à partir de la signature, exécuté pour cette page
  • MinAndItsPosition finding the smalles number dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? @@( o1.MinAndItsPosition() )
#--> [ 42, 6 ]
    composé à partir de la signature, exécuté pour cette page

et 9 autres dans la référence

Remplacer et modifier

  • Update Replace the content with the given number (mutating; the single update point). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
o1.Update(3)
? o1.Value()
#--> 3
    composé à partir de la signature, exécuté pour cette page
  • ReplaceSectionWith replacing a section of the list dans stzListOfNumbers
    o1 = new stzListOfNumbers(1:8)
o1.ReplaceSectionWith(3, 5, 2)
? @@( o1.Content() )
#--> [ 1, 2, 2, 2, 2, 6, 7, 8 ]
    test de la bibliothèque
  • ReplaceNumberAtPosition replacing a number at a given position in the list dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
o1.ReplaceNumberAtPosition(2, 5)
? @@( o1.Content() )
#--> [ 4, 5, 15, 16, 23, 42 ]
    composé à partir de la signature, exécuté pour cette page
  • ReplaceNumbersInSectionWith replacing a section of the list dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
o1.ReplaceNumbersInSectionWith(2, 5, 2)
? @@( o1.Content() )
#--> [ 4, 2, 2, 2, 2, 42 ]
    composé à partir de la signature, exécuté pour cette page
  • ReplaceElement Replacing all the occurrence of an element by a new element dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.ReplaceElement(2, 5)
? @@( o1.Content() )
#--> [ [ 1, 5, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ]
    composé à partir de la signature, exécuté pour cette page
  • ReplaceElementAt Replacing any element at the given position by a new element dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.ReplaceElementAt([ 2, 3 ], 2)
? @@( o1.Content() )
#--> [ [ 1, 2, 3 ], [ 4, 5, 2 ], [ 7, 8, 9 ] ]
    composé à partir de la signature, exécuté pour cette page
  • SetRound Set how many decimals (the round) this number renders with. dans stzNumber
  • SetRegime Round the number to the nearest integer (mutating). -- THE REGIME (numeric foundation phase 2) dans stzNumber
  • SetReturnType Choose whether values are returned as :Number or :String. dans stzNumber
  • SetReturnTypeAs Choose whether values come back as :Number or :String. dans stzNumber
  • SetReturnTypeTo Choose whether values come back as :Number or :String. dans stzNumber
  • SetDefaultFormat Default-format setting (unsupported in this version: raises). dans stzNumber

et 29 autres dans la référence

Retirer

  • RemoveSign Drop the sign from the number (mutating). dans stzNumber
  • RemoveZeros both ends: "007.500" -> "7.5" dans stzNumber
  • RemoveZerosFromLeft They are now expressed directly on the digits. The right-hand strip stays guarded by IsReal(): trailing zeros of an INTEGER are significant, and turning 100 into 1 would be a catastrophe rather than a tidy-up. "007" -> "7", "00.5" -> "0.5". A single leading zero before the point is kept. dans stzNumber
  • RemoveZerosFromRight "1.500" -> "1.5". Only for a real number, and only in the fractional part. dans stzNumber

Ajouter

  • Add Add the given number to this one (mutating). For a copy, use Added. dans stzNumber
    oS = StzNumberQ("0.1")
oS.Add("0.2")
? oS.Content()
? oS.IsExact()
? oS.Representation()
#--> 0.3
#--> 1
#--> decimal
    test de la bibliothèque
  • AddManyWithIntermediateResults AddMany returning every intermediate sum along the way. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? @@( o1.AddManyWithIntermediateResults([ 2, 3 ]) )
#--> [ "14", "17" ]
    composé à partir de la signature, exécuté pour cette page
  • AddToEach Add n to each number of the list (mutating). dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
o1.AddToEach(2)
? @@( o1.Content() )
#--> [ 6, 10, 17, 18, 25, 44 ]
    composé à partir de la signature, exécuté pour cette page
  • AddManyOneByOne adding many numbers one by one dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
o1.AddManyOneByOne([ 2, 3 ])
? @@( o1.Content() )
#--> [ 6, 11 ]
    composé à partir de la signature, exécuté pour cette page
  • AddManyNumbersOneByOne adding many numbers one by one dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
o1.AddManyNumbersOneByOne([ 2, 3 ])
? @@( o1.Content() )
#--> [ 6, 11 ]
    composé à partir de la signature, exécuté pour cette page
  • AddCV element-level operations dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.AddCV(2, 5)
? @@( o1.Content() )
#--> [ [ 1, 7, 3 ], [ 4, 10, 6 ], [ 7, 13, 9 ] ]
    composé à partir de la signature, exécuté pour cette page
  • AddInCol element-level operations dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.AddInCol(2, 5)
? @@( o1.Content() )
#--> [ [ 1, 7, 3 ], [ 4, 10, 6 ], [ 7, 13, 9 ] ]
    composé à partir de la signature, exécuté pour cette page
  • AddInRow Instead of this: for i = 1 to @nRows @aContent[i][pnCol] += pnValue next Adds a value to a specific row dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.AddInRow(2, 5)
? @@( o1.Content() )
#--> [ [ 1, 2, 3 ], [ 9, 10, 11 ], [ 7, 8, 9 ] ]
    composé à partir de la signature, exécuté pour cette page
  • AddToCol The "To" spelling, which test 01 has always documented -- both the names and the resulting matrices -- while nothing defined them. dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.AddToCol(2, 5)
? @@( o1.Content() )
#--> [ [ 1, 7, 3 ], [ 4, 10, 6 ], [ 7, 13, 9 ] ]
    composé à partir de la signature, exécuté pour cette page
  • AddInCols Instead of this: for j = 1 to @nCols @aContent[pnRow][j] += pnValue next Adds a value to multiple columns dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.AddInCols([ 2, 3 ], 2)
? @@( o1.Content() )
#--> [ [ 1, 4, 5 ], [ 4, 7, 8 ], [ 7, 10, 11 ] ]
    composé à partir de la signature, exécuté pour cette page
  • AddInRows Adds a value to multiple rows A copy of AddInCols that was never finished being renamed: every reference below said `paColumns`, which is not a parameter of this method, and the fallback loop read `panRows` and `_nRow_`, which do not exist either -- while adding the value TWICE per cell. The method could not run on any input. dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.AddInRows([ 2, 3 ], 2)
? @@( o1.Content() )
#--> [ [ 1, 2, 3 ], [ 6, 7, 8 ], [ 9, 10, 11 ] ]
    composé à partir de la signature, exécuté pour cette page
  • AddToColumn element-level operations dans stzMatrix
    exemple composé
    o1 = new stzMatrix([ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ])
o1.AddToColumn(2, 5)
? @@( o1.Content() )
#--> [ [ 1, 7, 3 ], [ 4, 10, 6 ], [ 7, 13, 9 ] ]
    composé à partir de la signature, exécuté pour cette page

et 4 autres dans la référence

Découper et extraire

  • SubStructFromEach Subtract n from each number of the list (mutating). dans stzListOfNumbers
    o1 = new stzListOfNumbers(1:8)
o1.SubStructFromEach(2)
? ListToCode( o1.Content() )
#--> [ -1, 0, 1, 2, 3, 4, 5, 6 ]
    test de la bibliothèque
  • SubStructManyOneByOne substructing many numbers one by one dans stzListOfNumbers
    o1 = new stzListOfNumbers([ 8, 10, 14 ])
o1.SubStructManyOneByOne([ 6, 7, 7 ])
? @@( o1.Content() )
#--> [ 2, 3, 7 ]
    test de la bibliothèque
  • SubStruct Subtract the given number from this one (mutating). dans stzNumber
  • SubStructManyNumbersOneByOne substructing many numbers one by one dans stzListOfNumbers
  • SubMatrix Creates a submatrix by extracting specific rows and columns dans stzMatrix

Ordonner et déplacer

  • ReverseDigits The digits of the integer, reversed. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ReverseDigits()
#--> 21
    composé à partir de la signature, exécuté pour cette page
  • Reverse reversing the list of numbers dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
o1.Reverse()
? @@( o1.Content() )
#--> [ 42, 23, 16, 15, 8, 4 ]
    composé à partir de la signature, exécuté pour cette page
  • ReverseNumbers reversing the list of numbers dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
o1.ReverseNumbers()
? @@( o1.Content() )
#--> [ 42, 23, 16, 15, 8, 4 ]
    composé à partir de la signature, exécuté pour cette page
  • SwapWith Swapping the content of the stzNumber with an other stzNumber dans stzNumber
  • MoveNoteTo A NOTE IS MOVED BY ITS OFFSETS. Its place is derived from its mark plus two unknowns, n.ox and n.oy (the free side is the mark's datum), which is what lets every note start inside its leash; a drag by shape (DragTo) wants a free centre and refuses it. This writes the two slots, holds them, and re-solves the rest of the figure around them. dans stzMathFigure

Convertir

  • ToHex The number in hexadecimal form. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToHex()
#--> 0xC
    composé à partir de la signature, exécuté pour cette page
  • ToHexForm Converting decimal to hex form dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToHexForm()
#--> 0xC
    composé à partir de la signature, exécuté pour cette page
  • ToOctalForm The number in octal form (with prefix). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToOctalForm()
#--> 0o14
    composé à partir de la signature, exécuté pour cette page
  • ToBinaryForm Converting decimal to binary form dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToBinaryForm()
#--> 0b1100
    composé à partir de la signature, exécuté pour cette page
  • ToHexUnicode The number in Unicode hex form (U+0041). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToHexUnicode()
#--> U+C
    composé à partir de la signature, exécuté pour cette page
  • ToUnicodeHex The number in Unicode hex form (U+0041). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToUnicodeHex()
#--> U+C
    composé à partir de la signature, exécuté pour cette page
  • ToUnicodeHexForm The number in Unicode hex form (U+0041). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToUnicodeHexForm()
#--> U+C
    composé à partir de la signature, exécuté pour cette page
  • ToHexFormWithoutPrefix The hexadecimal form without the 0x prefix. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToHexFormWithoutPrefix()
#--> C
    composé à partir de la signature, exécuté pour cette page
  • ToOctalFormWithoutPrefix The octal form without the prefix. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToOctalFormWithoutPrefix()
#--> 14
    composé à partir de la signature, exécuté pour cette page
  • ToBinaryFormWithoutPrefix Variant that strips the "0b" prefix from the binary form, for callers that just want the raw bit-string. dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ToBinaryFormWithoutPrefix()
#--> 1100
    composé à partir de la signature, exécuté pour cette page
  • ToSections Turn the numbers (positions) into [start, end] sections. dans stzListOfNumbers
    exemple composé
    o1 = new stzListOfNumbers([ 4, 8, 15, 16, 23, 42 ])
? @@( o1.ToSections() )
#--> [ [ 1, 4 ], [ 5, 8 ], [ 9, 15 ], [ 16, 16 ], [ 17, 23 ], [ 24, 42 ] ]
    composé à partir de la signature, exécuté pour cette page
  • ToLean one .lean file: Mathlib, the lesson, every theorem; names made unique by position dans stzMathClaimSet
    exemple composé
    o1 = new stzMathClaimSet("a tampered lesson")
? o1.ToLean()
#--> -- a tampered lesson: 0 claim(s) emitted by stzMathClaimSet (plane stzlib-math, M6)
#--> -- check with: lake env lean <this file>   inside a Lake project holding Mathlib
#--> import Mathlib
    composé à partir de la signature, exécuté pour cette page

et 23 autres dans la référence

Afficher, dessiner et mettre en forme

  • Format Format the number with the default options (mutating). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.Format()
#--> +12
    composé à partir de la signature, exécuté pour cette page
  • DrawLiveOn THE LIVE CURVE DRAWN INTO A CANVAS, cleared first: the overlay the window draws over the settled picture. Keeps what it cost. dans stzMathMotion

Lire et écrire

  • ExportTo the export: a storyboard driven by the same acts ------------------------ EVERY STATE A FRAME. The storyboard takes its own copy of the picture from where it stands now, replays each state's acts on that copy through its own Act (so the frame it closes is the picture AFTER the acts), binds each fact to be computed on that frame, writes the frame as a PNG in the folio, and the narration beside them. A :Function motion settles per state and hands each settled figure in as a frame; its parameters are put back afterwards, so the export leaves the motion where it found it in both cases. dans stzMathMotion

Parcourir et appliquer

  • ApplyFormat Apply the default number format (mutating). dans stzNumber
    exemple composé
    o1 = new stzNumber(12)
? o1.ApplyFormat()
#--> +12
    composé à partir de la signature, exécuté pour cette page
  • ApplyLocale Locale application (unsupported in this version: raises). dans stzNumber
  • EachDividedWithW Add alternatives The numbers divided by n where the W condition holds, as a copy. dans stzListOfNumbers
  • EachMultipliedWithW The numbers multiplied by n where the W condition holds, as a copy. dans stzListOfNumbers
  • Apply THE LIVE PASS: the acts of one state, on the motion's own picture. States are steps, so state n is reached from state n-1; a caller that jumps is asking for the acts of n from wherever the picture stands, which is what it gets and what Applied() then says. dans stzMathMotion
  • RunCount the polylines drawn: a piece longer than 64 samples is several runs dans stzMathFigure

Les explications sont celles que la bibliothèque donne d'elle-même, en anglais, lues dans ses commentaires de documentation le 2026-10-01 04:14, from the library at commit 0e72e2e2c, by the library's own stzSelfDoc over 635 class sources.

Les classes de ce domaine

Les narrations sur ce domaine