Skip to content

Commit 1439f08

Browse files
rhenniganrhennigan
authored
Merge pull request #1 from rhennigan/feature/minor-documentation-updates
Feature/minor documentation updates
2 parents d503dd3 + a0c92b6 commit 1439f08

File tree

9 files changed

+611
-1068
lines changed

9 files changed

+611
-1068
lines changed

‎DefinitionNotebook.nb‎

Lines changed: 54 additions & 300 deletions
Large diffs are not rendered by default.

‎Documentation/English/Guides/CodeEquivalenceUtilities.nb‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1331,7 +1331,7 @@ Notebook[
13311331
],
13321332
"NotebookUUID" -> "c03dabbe-92ea-4ba6-9bb0-2fa34c8e6f12"
13331333
|>,
1334-
FrontEndVersion -> "13.0 for Microsoft Windows (64-bit) (October 7, 2021)",
1334+
FrontEndVersion -> "13.0 for Microsoft Windows (64-bit) (October 17, 2021)",
13351335
StyleDefinitions -> FrontEnd`FileName[
13361336
{"Wolfram"},
13371337
"GuidePageStylesExt.nb",

‎Documentation/English/ReferencePages/Symbols/CodeEquivalentQ.nb‎

Lines changed: 62 additions & 85 deletions
Large diffs are not rendered by default.

‎Documentation/English/ReferencePages/Symbols/EquivalenceTestData.nb‎

Lines changed: 66 additions & 89 deletions
Large diffs are not rendered by default.

‎Documentation/English/ReferencePages/Symbols/FromCanonicalForm.nb‎

Lines changed: 34 additions & 45 deletions
Original file line numberDiff line numberDiff line change
@@ -387,7 +387,7 @@ Notebook[
387387
],
388388
Annotation[#1, "RandomValue", "Tooltip"] &
389389
],
390-
CodeEquivalenceUtilities`CanonicalForms`Common`RandomValue
390+
Wolfram`CodeEquivalenceUtilities`CanonicalForms`Common`RandomValue
391391
],
392392
"[",
393393
RowBox[
@@ -404,49 +404,43 @@ Notebook[
404404
InterpretationBox[
405405
TagBox[
406406
TooltipBox[
407-
FrameBox[
408-
Cell[
409-
TextData[
407+
StyleBox[
408+
FrameBox[
409+
RowBox[
410410
{
411411
StyleBox[
412412
"S1",
413-
FontWeight -> "Bold",
414413
FontColor -> RGBColor[
415414
{Rational[47, 255], Rational[13, 51], Rational[6, 17]}
416415
]
417416
],
418417
StyleBox[
419-
"\[ThinSpace]\[Proportion]\[ThinSpace]",
420-
FontWeight -> "Bold",
418+
"\[Proportion]",
421419
FontColor -> RGBColor[
422420
{Rational[94, 255], Rational[43, 85], Rational[181, 255]}
423421
]
424422
],
425423
StyleBox[
426-
"Int",
427-
FontWeight -> "Plain",
424+
"\[DoubleStruckCapitalZ]",
428425
FontColor -> RGBColor[
429426
{Rational[14, 51], Rational[97, 255], Rational[8, 15]}
430427
]
431428
]
432429
}
433430
],
434-
"Text"
435-
],
436-
Background -> RGBColor[
437-
{Rational[58, 85], Rational[64, 85], Rational[218, 255]}
431+
Background -> RGBColor[0.84210425, 0.87669475, 0.9274495],
432+
ContentPadding -> False,
433+
FrameStyle -> None,
434+
RoundingRadius -> 5
438435
],
439-
ContentPadding -> False,
440-
FrameMargins -> 2,
441-
RoundingRadius -> 2,
442-
StripOnInput -> False
436+
FontSize -> 0.9*Inherited
443437
],
444-
"\"TypedSymbol[CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""
438+
"\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""
445439
],
446440
#1 &
447441
],
448-
CodeEquivalenceUtilities`Types`TypedSymbol[
449-
CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1,
442+
Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[
443+
Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1,
450444
_Integer
451445
]
452446
]
@@ -470,49 +464,43 @@ Notebook[
470464
InterpretationBox[
471465
TagBox[
472466
TooltipBox[
473-
FrameBox[
474-
Cell[
475-
TextData[
467+
StyleBox[
468+
FrameBox[
469+
RowBox[
476470
{
477471
StyleBox[
478472
"S1",
479-
FontWeight -> "Bold",
480473
FontColor -> RGBColor[
481474
{Rational[47, 255], Rational[13, 51], Rational[6, 17]}
482475
]
483476
],
484477
StyleBox[
485-
"\[ThinSpace]\[Proportion]\[ThinSpace]",
486-
FontWeight -> "Bold",
478+
"\[Proportion]",
487479
FontColor -> RGBColor[
488480
{Rational[94, 255], Rational[43, 85], Rational[181, 255]}
489481
]
490482
],
491483
StyleBox[
492-
"Int",
493-
FontWeight -> "Plain",
484+
"\[DoubleStruckCapitalZ]",
494485
FontColor -> RGBColor[
495486
{Rational[14, 51], Rational[97, 255], Rational[8, 15]}
496487
]
497488
]
498489
}
499490
],
500-
"Text"
501-
],
502-
Background -> RGBColor[
503-
{Rational[58, 85], Rational[64, 85], Rational[218, 255]}
491+
Background -> RGBColor[0.84210425, 0.87669475, 0.9274495],
492+
ContentPadding -> False,
493+
FrameStyle -> None,
494+
RoundingRadius -> 5
504495
],
505-
ContentPadding -> False,
506-
FrameMargins -> 2,
507-
RoundingRadius -> 2,
508-
StripOnInput -> False
496+
FontSize -> 0.9*Inherited
509497
],
510-
"\"TypedSymbol[CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""
498+
"\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""
511499
],
512500
#1 &
513501
],
514-
CodeEquivalenceUtilities`Types`TypedSymbol[
515-
CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1,
502+
Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[
503+
Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1,
516504
_Integer
517505
]
518506
],
@@ -537,7 +525,7 @@ Notebook[
537525
],
538526
"Output",
539527
CellLabel -> "Out[1]=",
540-
CellID -> 78870498
528+
CellID -> 69273459
541529
]
542530
},
543531
Open
@@ -595,7 +583,7 @@ Notebook[
595583
],
596584
"Output",
597585
CellLabel -> "Out[2]=",
598-
CellID -> 23711498
586+
CellID -> 429364601
599587
]
600588
},
601589
Open
@@ -615,14 +603,14 @@ Notebook[
615603
RowBox[
616604
{
617605
"{",
618-
RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "5"}],
606+
RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "2"}],
619607
"}"
620608
}
621609
]
622610
],
623611
"Output",
624612
CellLabel -> "Out[3]=",
625-
CellID -> 55034639
613+
CellID -> 228443039
626614
]
627615
},
628616
Open
@@ -778,10 +766,11 @@ Notebook[
778766
"NotebookUUID" -> "493a1eb9-f143-e679-5438-8c9fc3f5a4e0"
779767
},
780768
CellContext -> "Global`",
781-
FrontEndVersion -> "13.0 for Microsoft Windows (64-bit) (October 7, 2021)",
769+
FrontEndVersion -> "13.0 for Microsoft Windows (64-bit) (October 17, 2021)",
782770
StyleDefinitions -> FrontEnd`FileName[
783771
{"Wolfram"},
784772
"FunctionPageStylesExt.nb",
785773
CharacterEncoding -> "UTF-8"
786-
]
774+
],
775+
ExpressionUUID -> "766962bc-394b-48aa-9b76-79e75d623c37"
787776
]

0 commit comments

Comments
 (0)