[racket-users] Redex trace/ps doesn't produce edges

2018-04-28 Thread Shu-Hung You
Hello everyone,

I try to save the traces generated by Redex to an image. However, the
arrows between the expressions don't show up in the result.

I tried some combinations of #:x-spacing, #:edge-labels? and #:layout
to let the arrows showed up in trace, but the edges remain hidden when
I ran trace/ps. Any clue about this?

code: https://gist.github.com/shhyou/55ab7e060488e8181acc5d50c8eeca4c

Thanks!

Shu-Hung



#lang racket

(require redex/reduction-semantics
 redex/gui)

(define-language L)

(define R
  (reduction-relation
   L
   #:domain integer
   (--> 5 0 "zero!")))

(traces R 5 #:x-spacing 400)
(traces/ps R 5 "trace-ps-image.ps" #:x-spacing 400)

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] Cubic bezier curves in racket gui

2018-04-28 Thread Jens Axel Søgaard
Make a path% then use curve-to to add points and control points of your
Bezier curve.

http://docs.racket-lang.org/draw/dc-path_.html?q=curve#%28meth._%28%28%28lib._racket%2Fdraw..rkt%29._dc-path~25%29._curve-to%29%29

A complete example:

http://soegaard.github.io/blog/2013/06/27/drawing-bezier-curves/


2018-04-28 12:30 GMT+02:00 若草春男 :

> Hi,
>
> I'm using racket gui interfaces. I want to use cubic bezier curves in it.
> Please add functions for cubic bezier curves. I know Qt supports cubic
> bezier curves. SVG and canvas also support them.
>
> Haruo
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>



-- 
-- 
Jens Axel Søgaard

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[racket-users] Cubic bezier curves in racket gui

2018-04-28 Thread 若草春男
Hi,

I'm using racket gui interfaces. I want to use cubic bezier curves in it. 
Please add functions for cubic bezier curves. I know Qt supports cubic 
bezier curves. SVG and canvas also support them.

Haruo

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.