hlco.fun 812 B

123456789101112131415161718192021222324252627282930
  1. #import std
  2. #import nat
  3. #import flo
  4. #import plo
  5. #import cop
  6. #output dot'tex' plot
  7. half =
  8. visualization[
  9. margin: 15.,
  10. picture_frame: ((400.,250.),-30.,-35.),
  11. abscissa: axis[variable: '$x$',hats: printf/*'%0.0f' ari11/-5. 5.,hatches: ari11/-5. 5.],
  12. ordinates: <axis[variable: '\texttt{half\_line} $x$',hatches: ari6/0. 5.]>,
  13. curves: <
  14. curve[points: ^(~&,half_line)* ari300/-5. 5.],
  15. curve[points: <(0.,0.),(5.,5.)>,attributes: {'linecolor': 'lightgray'}]>]
  16. conv =
  17. visualization[
  18. margin: 15.,
  19. picture_frame: ((400.,250.),-30.,-35.),
  20. abscissa: axis[variable: '$x$'],
  21. ordinates: <
  22. axis[variable: '$(\texttt{half\_line}\;\;x)-x$',hats: printf/*'%0.3f' ari8/0.272 0.279,hatches: ari8/0.272 0.279]>,
  23. curves: <curve[points: ^(~&,minus^\~& half_line)* ari300/3. 5.]>]