this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Continue rapport

+18 -4
+18 -4
rapport/context.typ
··· 600 600 601 601 La complexité de l'expression, et la présence d'un $min$ au lieu de simplement un $op("clip")$ est dûe au fait que l'avantage $A_(cal(P)', R) (s, a)$ peut être négatif: 602 602 603 + #let named_point = (x, y, shape: "@", color: black, side: right, content) => edge((x, y), shape + "-", (x+0.01, y), label-side: side, stroke: color, text(fill: color, content)) 604 + 603 605 / Si l'avantage est positif: #fletcher.diagram( 604 606 spacing: (2.7em, 2em), 605 - edge((-5, 0), "->", (5, 0)), 606 - edge((-5, 0.25), "-", (-5, -0.25), label-side: left)[$0$] 607 + node((-5, 0))[$0$], 608 + edge((-5, 0), "|->", (5, 0), stroke: luma(150)), 609 + edge((-1, 0), "|-|", (1, 0), extrude: (1, -1, 0) ), 610 + named_point(-1, 0, shape: "|")[$1-epsilon$], 611 + named_point(1, 0, shape: "|")[$1+epsilon$], 612 + named_point(0, 0)[$cal(P)$], 613 + named_point(-4, 0, color: red, side: left)[$cal(P)'$], 614 + named_point(0.5, 0, color: green, side: left)[$cal(P)'$], 607 615 ) 608 616 $ 609 617 L(s, a, cal(P), cal(P)', R) = min( ··· 613 621 $ 614 622 / Si l'avantage est négatif: #fletcher.diagram( 615 623 spacing: (2.7em, 2em), 616 - edge((-5, 0), "->", (5, 0)), 617 - edge((-5, 0.25), "-", (-5, -0.25), label-side: left)[$0$] 624 + node((5, 0))[$0$], 625 + edge((-5, 0), "<-|", (5, 0), stroke: luma(150)), 626 + edge((-2, 0), "|-|", (2, 0), extrude: (1, -1, 0) ), 627 + named_point(-2, 0, shape: "|")[$1-epsilon$], 628 + named_point(2, 0, shape: "|")[$1+epsilon$], 629 + named_point(0, 0)[$cal(P)$], 630 + named_point(-4, 0, color: red, side: left)[$cal(P)'$], 631 + named_point(1, 0, color: green, side: left)[$cal(P)'$], 618 632 ) 619 633 $ 620 634 L(s, a, cal(P), cal(P)', R) = max(