manual/radii.py

   1 from pyx import *
   2
   3 c = canvas.canvas()
   4
   5 circle = path.circle(0, 0, 2)
   6 line = path.line(-3, 1, 3, 2)
   7 c.stroke(circle, [style.linewidth.Thick])
   8 c.stroke(line, [style.linewidth.Thick])
   9
  10 isects_circle, isects_line = circle.intersect(line)
  11 for isect in isects_circle:
  12     isectx, isecty = circle.at(isect)
  13     c.stroke(path.line(0, 0, isectx, isecty))
  14
  15 c.writeEPSfile("radii")