Re: [racket-users] plot: change pen cap?

2015-07-08 Thread Neil Toronto
;d be happy to label myself as "responsible". On Fri, Jul 3, 2015 at 12:50 PM, Neil Toronto mailto:neil.toro...@gmail.com>> wrote: On 07/02/2015 08:37 PM, Benjamin Greenman wrote: On Thu, Jul 2, 2015 at 11:23 AM, Neil Toronto mailto:neil.toro...@gmail.com>

Re: [racket-users] garbage collection

2015-07-04 Thread Neil Toronto
On 07/04/2015 05:26 PM, Neil Van Dyke wrote: Any plans for new interesting GC/memory features in Racket? For example, being able to inhibit GC for a time, being able to adjust the GC trigger parameters dynamically, different ways to minimize GC pauses or slowdown in the app behavior, real-time c

Re: [racket-users] API function naming

2015-07-03 Thread Neil Toronto
On 07/03/2015 12:32 PM, John Carmack wrote: I am using a “cmd-name!” naming format for functions that are adding to the command list that will be communicated to the host program. (cmd-sound! WAV-FILE) (cmd-set-position! pos yaw-radians) Etc. I am considering using a terser naming convention,

Re: [racket-users] plot: change pen cap?

2015-07-03 Thread Neil Toronto
On 07/02/2015 08:37 PM, Benjamin Greenman wrote: On Thu, Jul 2, 2015 at 11:23 AM, Neil Toronto mailto:neil.toro...@gmail.com>> wrote: rounded ends are the only kind that compose nicely when drawn that way Oooh, that's interesting. After sending the first email I'd actuall

Re: [racket-users] plot: change pen cap?

2015-07-02 Thread Neil Toronto
On 06/24/2015 01:31 PM, Benjamin Greenman wrote: I'd like to change the pen cap on my racket/plot images from the default 'round to 'butt. What's the easiest way to do this? This is a little embarrassing, but there's not a way to do this. If there *were* a way to do this, it would apply only t

Re: [racket-users] Gear VR

2015-07-02 Thread Neil Toronto
On 07/02/2015 08:49 AM, Gabriel Laddel wrote: [classification of Lisp hostiles] Choose a stack for the initial "win" and DO NOT DEVIATE FROM IT. Select specific versions of android, linux, OpenGL, racket, editor + required Unity/C++/etc you will support internally. When your #1s decide that t

Re: [racket-users] Gear VR

2015-07-01 Thread Neil Toronto
On 07/01/2015 10:47 AM, John Carmack wrote: S-expressions actually are one of the core wins from my use of lisp so far -- embracing read/write (and the associated bandwidth cost) as a wire protocol over yet another hand crafted binary format has been a significant win (however, the flexibilit

Re: [racket-users] generalised set! in Racket

2015-06-30 Thread Neil Toronto
On 06/30/2015 07:27 PM, 'John Clements' via Racket Users wrote: On Jun 30, 2015, at 3:43 PM, George Neuner wrote: that's just semantics. XD Let me expound a bit on John's pure-functional snooty-poo reply. Semantics - what programs mean - is everything. Exactly how they're compiled, inte

Re: [racket-users] Gear VR

2015-06-24 Thread Neil Toronto
On 06/23/2015 08:32 PM, John Carmack wrote: Here is the overview of the work that I recently sent out internally. I started out with a pure-functional scripting interface, but it very rapidly became imperative, and it is in heavy flux. The sample scripts do capture the general "flavor" that I

Re: [racket-users] Gear VR

2015-06-23 Thread Neil Toronto
On 06/23/2015 07:36 PM, John Carmack wrote: The intersection of Gear VR owners and Racket users may consist of just me at the moment, but if anyone else here is interested in discussing the work I am doing with driving VR by Racket/Scheme, I would welcome the input. Would that be an appropriate

Re: [racket-users] try a new macro expander

2015-06-23 Thread Neil Toronto
On 06/22/2015 08:25 AM, Matthew Flatt wrote: At Thu, 21 May 2015 07:15:14 -0600, Matthew Flatt wrote: Otherwise, be prepared for me to come back in a few weeks and lobby for moving to a new macro expander. Here's the proposal: let's switch on July 16. "Switch" means that I'd merge the new macr

Re: [racket-users] no plot zooming on local build--update procedure wrong?

2015-06-22 Thread Neil Toronto
Robby has just pushed an evil hack that makes plots and pict3ds interactive again. In the future, there will be a transition to a different "interactive values" API, but it'll go a lot smoother. Neil ⊥ On 06/21/2015 12:34 PM, Neil Toronto wrote: It's bec

Re: [racket-users] Closing big-bang windows

2015-06-21 Thread Neil Toronto
On 06/21/2015 02:54 PM, Alexis King wrote: I guess I could add a close-on-stop clauses for programmers such as your son but it sounds almost like he's ready to move on to racket proper, as in use the Windowing API directly. FWIW, despite big-bang’s position as a teaching tool, I much prefer it

Re: [racket-users] Racket v6.2

2015-06-21 Thread Neil Toronto
On 06/19/2015 11:19 PM, Ryan Culpepper wrote: * A `--clone` option for `raco pkg install` or `raco pkg update` facilitates Git-based package development. If a package X has a Git repository source, installing and updating the package pulls from the repository in a read-only mode. Using

Re: [racket-users] no plot zooming on local build--update procedure wrong?

2015-06-21 Thread Neil Toronto
It's because of this: https://groups.google.com/forum/#!topicsearchin/racket-dev/subject$3Asnip/racket-dev/Sqoeg1JX-wM (If anyone knows of a nicer way to link to Google Groups posts, I'd love to know what it is.) Getting this (and Pict3D) working again on master is next on my to-do list. Nei

[racket-users] Re: [racket] Considering backward-incompatible change to Plot

2015-05-01 Thread Neil Toronto
e it a lot. Is there someway to check it out ahead of time? My main concern is with my plots that are embedded in various GUI elements. I sometimes did some weird things there, On Tue, Mar 17, 2015 at 10:33 AM, Neil Toronto mailto:neil.toro...@gmail.com>> wrote: Plot has been converted

Re: [racket-users] Re: [racket] Unsafe version of require/typed?

2015-05-01 Thread Neil Toronto
Submit a bug report, because that number is obviously false. (Or you've misunderstood how to use it, in which case the documentation probably needs work. :D) The problem is that first-order polymorphic contracts are O(n) in the size of the data. See my other, much, much longer reply to Matthia

Re: [racket-users] Re: [racket] Unsafe version of require/typed?

2015-05-01 Thread Neil Toronto
Your preferences are my command. :) Actual Performance Bottlenecks (and Workarounds) (1) Plot's sending of `snip%` instances from untyped to typed code made them so slow that they were unresponsive. I got around it by making helper functions to create the snips, and inserting their

Re: [racket-users] google groups transition pretty much done

2015-04-29 Thread Neil Toronto
On 04/29/2015 12:06 PM, 'John Clements' via Racket Users wrote: TL;DR. All OK. Only if you’re interested, a brief status report on the transition to Google Groups: - all old users invited. - google groups still quarantines some things I wish it wouldn’t (just approved 2 posts from sketchy-sou

Re: off-topic --- Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Neil Toronto
On 04/26/2015 02:39 PM, Matthias Felleisen wrote: Once again, this is an instance where you'd really like to abstract the library over the language into which its exports are imported. This is a constant struggle for me, and I'd like to solve it. Typed Racket has a good solution in the small

Re: [racket] Crowdsourcing Pict3D's design

2015-03-19 Thread Neil Toronto
On 03/19/2015 10:00 PM, Neil Toronto wrote: On 03/19/2015 02:09 PM, Raoul Duke wrote: Currently, the vertex data for frozen shapes is transferred every frame. The 3D engine is saturating your AGP bus. the year 2003 called and wants its technology back. :-) The year 1861 sent you a telegraph

Re: [racket] Crowdsourcing Pict3D's design

2015-03-19 Thread Neil Toronto
On 03/19/2015 02:09 PM, Raoul Duke wrote: Currently, the vertex data for frozen shapes is transferred every frame. The 3D engine is saturating your AGP bus. the year 2003 called and wants its technology back. :-) The year 1861 sent you a telegraph: they want their insult back. :p Anyway... t

Re: [racket] Crowdsourcing Pict3D's design

2015-03-19 Thread Neil Toronto
]) (freeze (set-emitted (cylinder (pos i 0 0) (pos (+ i 1/2) 1/2 1/2) #:segments 2000) (emitted "lightgreen" 2)) (define (on-frame s n t) (displayln (- t s)) t) (define (on-draw s n t) p) (big-bang3d 0 #:on-frame on-frame #:on-draw on-dra

Re: [racket] Greetings!

2015-03-19 Thread Neil Toronto
Welcome! Thank you for your past work. Trying to emulate it concretized and motivated almost all of my high school and undergraduate math classes. On 03/18/2015 02:59 PM, John Carmack wrote: ... I have a specification for a VR related file format that is headed towards JSON, but I am seriou

Re: [racket] Considering backward-incompatible change to Plot

2015-03-17 Thread Neil Toronto
for https://github.com/florence/convex-hulls, which pulls a bitmap% from the snip% to render it as a gif. As long at the Plot object can get me a bitmap% or its underlying vector, I would love the new interface. or maybe I should just be using `plot-pict`... On Tue, Mar 17, 2015 at 12:35 PM Ne

[racket] Considering backward-incompatible change to Plot

2015-03-17 Thread Neil Toronto
Plot has been converted to Typed Racket in the upcoming Racket 6.2. I'm strongly considering taking this opportunity to improve the API. The change is backward-incompatible, however, so I need input from those of you who use Plot a lot. In particular, recent experience with Pict3D makes it cl

Re: [racket] Crowdsourcing Pict3D's design

2015-03-16 Thread Neil Toronto
se? On Mar 16, 2015, at 7:12 AM, Neil Toronto wrote: It should work fine for what you want to do with it. (It's exactly what I thought of when I read your spec for it.) The only possible thing that can go wrong with affine transformations is unwanted shear [1], and `point-at` never produc

Re: [racket] Crowdsourcing Pict3D's design

2015-03-16 Thread Neil Toronto
ict1 (basis ‘b1 t1)) ‘(b1) (combine pict2 (basis ‘b2 t2)) ‘(b2)) could be replaced with (combine pict1 (transform pict2 (from-to t2 t1))) Would that make sense? On Mar 16, 2015, at 7:12 AM, Neil Toronto wrote: It should work fine for what you want to do with it. (It's exactly what I thought o

Re: [racket] Error with pict3d

2015-03-16 Thread Neil Toronto
On 03/15/2015 03:31 AM, Dr. C. SHUNMUGA VELAYUTHAM wrote: I tried first glxinfo | grep "version" on my ubuntu machine and found that openGL version is 1.4. I also tried your racket code but it gave the following error ?: unbound identifier in module in: ? The \lambda must have gotten mangle

Re: [racket] Crowdsourcing Pict3D's design

2015-03-16 Thread Neil Toronto
v2 dv2) ; equivalent to (my-point-at v1 (pos+ v1 dv1) v2 (pos+ v2 dv2)) On Mar 15, 2015, at 5:58 PM, Neil Toronto wrote: I'd generate a few different kinds of segments and then transform them into place. Don't use `rotate` for that, though - there's an easier way. Transfor

Re: [racket] Crowdsourcing Pict3D's design

2015-03-15 Thread Neil Toronto
On 03/15/2015 04:54 PM, Alexander D. Knauth wrote: On Mar 14, 2015, at 11:51 PM, Neil Toronto wrote: What you need is to 1) create and combine the necessary Pict3Ds as much as possible before the game starts; and 2) reuse them as much as possible during the game. You can even make the

Re: [racket] Crowdsourcing Pict3D's design

2015-03-14 Thread Neil Toronto
On 03/14/2015 10:27 PM, Alexander D. Knauth wrote: On Mar 8, 2015, at 10:53 PM, Neil Toronto wrote: If you've ever had the slightest hankering to do some real 3D but avoided it because of the pain that usually goes with it, try Pict3D. (If it fails to work, please submit a bug repo

Re: [racket] Error with pict3d

2015-03-14 Thread Neil Toronto
You're not doing anything wrong. Pict3D requires OpenGL version 3.0 or higher to function, and it looks like your computer doesn't have it. To find out for sure, here's what you can do: * Mac OS X: Check the OS version number. You need 10.7.5 or higher. * Linux: Run glxinfo | grep "ver

Re: [racket] Crowdsourcing Pict3D's design

2015-03-12 Thread Neil Toronto
This is what I ended up doing, as well as disabling mouse look on OS X. I used Firefox's autoscroll as inspiration, and I think I've made it usable enough. Let me know what you think. Neil On 03/11/2015 01:50 AM, Neil Van Dyke wrote: John Clements wrote on 03/11/2015 01:38 AM: Maybe simpler:

Re: [racket] Crowdsourcing Pict3D's design

2015-03-10 Thread Neil Toronto
On Mar 10, 2015, at 9:34 PM, Neil Toronto wrote: Robby was afraid that might happen on OS X. The weird thing is that I don't have reports of it from any other OS X users. It looks like we'll need alternative input methods for movement as well. (Turns out that WASD aren't nece

Re: [racket] Crowdsourcing Pict3D's design

2015-03-10 Thread Neil Toronto
On 03/10/2015 09:35 AM, Konrad Hinsen wrote: Neil Toronto writes: > Pict3D is finally ready for public consumption. You can install the > package either in DrRacket using "File -> Install Package..." or from > the command line using > > raco pkg inst

Re: [racket] Crowdsourcing Pict3D's design

2015-03-10 Thread Neil Toronto
r 10, 2015 at 6:35 AM, Konrad Hinsen mailto:konrad.hin...@fastmail.net>> wrote: Neil Toronto writes: > Pict3D is finally ready for public consumption. You can install the > package either in DrRacket using "File -> Install Package..." or from > th

Re: [racket] Crowdsourcing Pict3D's design

2015-03-09 Thread Neil Toronto
lix` example. An easier-to-use solution would probably derive the first and second derivatives from samples of the center position. Neil ⊥ On 03/09/2015 03:37 PM, Alexander D. Knauth wrote: Is there a good way to draw a smooth curved cylinder? On Mar 8, 2015, at 10:53 PM, Neil Toronto wro

[racket] Crowdsourcing Pict3D's design

2015-03-08 Thread Neil Toronto
Pict3D is finally ready for public consumption. You can install the package either in DrRacket using "File -> Install Package..." or from the command line using raco pkg install pict3d The GitHub page is here: https://github.com/ntoronto/pict3d All features are documented. The API is

Re: [racket] Inconsistency of `in-range` and numerical issues

2015-02-26 Thread Neil Toronto
On 02/24/2015 01:11 PM, Konrad Hinsen wrote: On 24/02/2015 16:41, Laurent wrote: I've discovered a rather troubling behaviour when using `in-range` with floating point numbers, which I think is worth knowing in case you hadn't consider the issue before: On my machine, I get the following: (le

Re: [racket] idiomatic way to loop over 1-255 in TR?

2015-02-18 Thread Neil Toronto
TR isn't really good about finding precise types for range sequence elements. The macro-expanded code is too complicated. When I write a loop with an index that needs to have a specific, narrow type, I either use an assertion, as in (for/list : (Listof Byte) ([b (in-range 256)]) (asser

Re: [racket] Hello and a few questions

2015-02-04 Thread Neil Toronto
Awesome! It's great to have you with us. On 02/04/2015 05:28 AM, Marmaduke Woodman wrote: [...] 1) The plotting library doesn't seem to have the equivalent of MATLAB/MatPlotLib's imagesc/imshow, which simply plots a rectangular colormap of the matrix. [1] You can use Plot and `images/flomap`

Re: [racket] Typed Racket: can this recursive typing become polymorphic?

2015-02-04 Thread Neil Toronto
You can do it if you have `flatten` also accept a predicate for A; i.e. an (-> Any Boolean : A). Be aware that such functions can't be exported to untyped Racket, though. Neil ⊥ On 02/03/2015 08:31 PM, J. Ian Johnson wrote: What if A is (Listof Integer)? Generally a type variable naked in a u

Re: [racket] Visualization with Racket

2015-01-31 Thread Neil Toronto
On 01/31/2015 06:35 AM, Dr. C. SHUNMUGA VELAYUTHAM wrote: Hi Everyone, I am working in the area of evolutionary computation. I have been recently interested in visualizing (primarily dynamic visualization) the processes involved in Evolutionary Algorithms. Having taught SICP (with Racket) to

Re: [racket] a function for a generalization of permutations for floats without going to +inf.0?

2015-01-25 Thread Neil Toronto
You can compute in log space using `log-gamma`: (define (my-permutations* n k) (exp (- (log-gamma (+ n 1)) (log-gamma (+ (- n k) 1) I wouldn't trust the last four digits or so of large results, but that may be accurate enough for what you're doing. If not, look at "math/private/flon

Re: [racket] Calculating cumulative sum of the list

2015-01-22 Thread Neil Toronto
Well, there is always the amazing math library. But somehow, the author of `math/base` forgot to include a `sums` function! There *is* a `flvector-sums` in `math/flonum`, which operates only on flonums. If you can believe this, the documentation for that function even *gives example code* for

Re: [racket] typed/racket, promises, and type dispatch

2015-01-22 Thread Neil Toronto
On 01/22/2015 11:39 AM, Luke Whittlesey wrote: For background, this code works:: begin working code #lang typed/racket (define-type Wire Symbol) (define Wire? (make-predicate Wire)) (define-type WireVec (Listof Wire)) (define WireVec? (make-predicate WireVec)) ;; dispatch based on t

Re: [racket] Racket on Centos?

2015-01-17 Thread Neil Toronto
On 01/17/2015 06:59 PM, Neil Van Dyke wrote: George Neuner wrote on 01/17/2015 04:58 PM: On 1/17/2015 1:26 AM, Neil Van Dyke wrote: Finally, cross your fingers, and test it on target VM. It's the "cross you fingers" part that worries me. I'd be happier if I knew others already had done it

[racket] Type for transposition idiom

2014-12-22 Thread Neil Toronto
Is it possible to get something like this to typecheck in Typed Racket? #lang typed/racket (: transpose-vector-list (All (A ...) (-> (List (Vectorof A) ... A) (Vectorof (List A ... A) (define (transpose-vector-list xss) (apply vector-map list xss)

Re: [racket] how to get exact results from get-text-extent

2014-12-02 Thread Neil Toronto
Here are some options for representing lengths. * Fixed-point numbers; i.e. a fixnum n represents n/2^k (where k = 16 for TeX). These are cheap and easy until you want to multiply or divide them. Then they get more expensive and bit-shifty. You can forget about doing anything else quickly. On

Re: [racket] Error propagation in `flexpt` [was: [racket-bug] all/14862: extflonum returns a different solution to flonum and mixed-integer calculations]

2014-12-01 Thread Neil Toronto
On 12/01/2014 11:46 AM, Mark Lee wrote: On 12/01/2014 06:57 AM, Neil Toronto wrote: Moved discussion to the Racket Users mailing list. This isn't an extflonum error. Your extflonum implementation of the fibonacci function is actually more accurate than your flonum implementation.

[racket] Error propagation in `flexpt` [was: [racket-bug] all/14862: extflonum returns a different solution to flonum and mixed-integer calculations]

2014-12-01 Thread Neil Toronto
Moved discussion to the Racket Users mailing list. This isn't an extflonum error. Your extflonum implementation of the fibonacci function is actually more accurate than your flonum implementation. While floating-point operations are fairly accurate, they're not (and can't be) perfect impleme

Re: [racket] debugging memory allocation

2014-11-07 Thread Neil Toronto
Please, someone answer this man! I need to do the same kind of debugging on Pict3D. One thing I've noticed from just dumping the result of (current-memory-use) to the terminal: sometimes memory use will repeatedly climb until there's a major GC, and sometimes minor GCs will be enough to keep

Re: [racket] Nice article on scientific computing in Racket

2014-10-29 Thread Neil Toronto
s, so as to know interesting intervals where to do random testing, and possibly compute error bounds (sometimes inf.0). Probably not that simple I guess. Laurent On Mon, Oct 27, 2014 at 1:14 PM, Neil Toronto mailto:neil.toro...@gmail.com>> wrote: This is the article I mentioned in my R

Re: [racket] Nice article on scientific computing in Racket

2014-10-27 Thread Neil Toronto
. Also, thanks to Vincent Lefèvre (http://www.vinc17.org), Matthias Felleisen, and Robby Findler, who reviewed it. Neil On 10/27/2014 06:05 AM, Konrad Hinsen wrote: The current issue of "Computing in Science and Engineering" has a nice article by Neil Toronto and Jay McCarthy on &q

Re: [racket] improving image quality

2014-10-08 Thread Neil Toronto
That's what I do for superscripts. LaTeX would definitely be awesomer. The change to allow picts would be pretty invasive. Everything that computes sizes and baselines would have to change. I'd like Typed Racket to prove that I haven't forgotten anything, so I'll do it after I convert Plot to

Re: [racket] Puzzled about type inference

2014-10-06 Thread Neil Toronto
It works now, and it is magnificent. Neil ⊥ On 10/06/2014 10:31 PM, Robby Findler wrote: I think I see what's wrong. I've pushed a fix. It involved a change to the property values, so I pushed a change to TR too. Robby On Mon, Oct 6, 2014 at 7:37 PM, Neil Toronto wrote: It&

Re: [racket] Puzzled about type inference

2014-10-06 Thread Neil Toronto
It's from the "pict3d" package in my home directory. Neil ⊥ On 10/06/2014 08:36 PM, Robby Findler wrote: I think I need a little more help with this one. Is that from a file in the repo somewhere? Robby On Monday, October 6, 2014, Neil Toronto mailto:neil.toro...@gmail.com&g

Re: [racket] Puzzled about type inference

2014-10-06 Thread Neil Toronto
On 10/06/2014 06:58 PM, Asumu Takikawa wrote: On 2014-10-02 18:48:32 -0500, Robby Findler wrote: I've just pushed a change to check syntax that picks up tooltip syntax properties in syntax objects that it sees. See the docs for mouse-over-tooltips. Thanks to Robby's very nice addition, I've ma

Re: [racket] Puzzled about type inference

2014-10-02 Thread Neil Toronto
[rather later] When can I have this wonderful thing? As it is, I insert (ann e Void) to discover the type that TR gives `e`. The type error is very informative. With `case->` types, as you say, it can get tricky to find out which combination of argument types produces which type for any give

[racket] Typed classes: how to send to a value with union type

2014-08-19 Thread Neil Toronto
I'm making a snip in Typed Racket. I have essentially this: (define admin (send this get-admin)) (define editor (and admin (send admin get-editor))) (when editor (send editor set-caret-owner #f)) I get this error: Type Checker: send: type mismatch expected: an object given:

Re: [racket] typed racket and unions of vector types

2014-07-23 Thread Neil Toronto
On 07/20/2014 02:08 PM, Alexander D. Knauth wrote: I ran into this when trying to do vector-ref on a value of type In-Indexes from math/array. If I do something like this: #lang typed/racket (: v : (U (Vectorof Index) (Vectorof Integer))) (define v #(0)) (ann (vector-ref v 0) Integ

Re: [racket] serialization of math/array

2014-07-23 Thread Neil Toronto
On 07/16/2014 10:25 AM, Berthold Bäuml wrote: Hi, will there be serialization support for math/array and math/matrix in the near future? As far as I understand in principle it should be possible at leas in a straight forward way as there are already the routines array->list and list->array.

Re: [racket] Is there a functional "array-set" for math/array?

2014-07-15 Thread Neil Toronto
There's no `array-set` yet. I didn't want to do it until I had a good internal representation that supported efficient functional updates. Alexander, your version of `array-set` will do fine in a pinch. Here are a few things you might want to keep in mind. 1. If you're using strict arrays (th

Re: [racket] plot w/non-standard ticks

2014-07-10 Thread Neil Toronto
You're very close. Try (parameterize ([plot-x-ticks no-ticks]) (plot ...)) Neil ⊥ On 07/09/2014 12:04 AM, Robby Findler wrote: Anyone know how to make a plot using 'lines' with ticks that are of my own divising instead of the existing? The closest I've been able to come is the below

Re: [racket] [racket-users] 3-D drawing toolkit?

2014-07-02 Thread Neil Toronto
I'm working on something like that right now, and will have something ready to demo at RacketCon in September. The API will be similar to pict's, and shouldn't be too hard to wrap 2htdp-style. Neil T Sent from my iPhone > On Jul 2, 2014, at 12:40 PM, Kevin Forchione wrote: > > I took up Matt

Re: [racket] FW: q about code for partitions

2014-06-28 Thread Neil Toronto
m >> [mailto:jensaxelsoega...@gmail.com] On Behalf Of Jens Axel Søgaard >> Sent: sábado, 28 de junio de 2014 12:07 >> To: Jos Koot >> Cc: Neil Toronto; Racket Users List >> Subject: Re: [racket] FW: q about code for partitions >> >> Hi, >> >> I h

Re: [racket] You're invited to Neil Toronto's Dissertation Defense

2014-06-12 Thread Neil Toronto
e: Many of you have seen many emails and commits from my PhD student, Neil Toronto, who has worked on projects like math and plot. He will be defending his dissertation soon and we're going to stream the talk for anyone who is interested. The defense is Wednesday, June 11th, 2:00pm MDT and we

Re: [racket] q about code for partitions

2014-06-04 Thread Neil Toronto
On 06/04/2014 12:36 PM, Jos Koot wrote: Hi In share/pkgs/math-lib/math/private/number-theory I find the following two pieces of code: line 34: (define m (/ (+ 1.0 (flsqrt (+ 1.0 (* 24.0 n 6.0)) line 39: (exact-floor m) Obviously for finding the positive root of the equation n-k(3k-1)/2=0 f

Re: [racket] 3D Plot example doesn't work in Typed Racket

2014-05-30 Thread Neil Toronto
This is one case in which Typed Racket could do better inference. I'm not sure what the difference is between Listof and Sequenceof that makes it treat them differently, but it does: #lang typed/racket ;; Typechecks (ann (list (vector 1 2 3)) (Listof (Vector Any Any (U Real False ;;

Re: [racket] Plot is voracious

2014-05-21 Thread Neil Toronto
ve and raises one exception in that cases and a different exception in the case that it gets a non-number entirely. Is that what you have in mind? Robby On Wed, May 21, 2014 at 1:17 PM, Neil Toronto wrote: I thought there might be a contract-system-y reason; e.g. if I wanted to change `g

Re: [racket] Plot is voracious

2014-05-21 Thread Neil Toronto
On 05/21/2014 12:45 PM, Jens Axel Søgaard wrote: 2014-05-21 17:37 GMT+02:00 Laurent : ... it eats everything! (particularly exceptions) For example, it is perfectly happy with the following: % racket Welcome to Racket v6.0.1.7. (require plot) (plot (function (lambda(x)(+ x n))) #:x-min 0 #

Re: [racket] Plot is voracious

2014-05-21 Thread Neil Toronto
hat if you wanted to take this on, Racketeers everywhere would thank you. Robby On Wed, May 21, 2014 at 1:05 PM, Neil Toronto wrote: Based on experience using Plot, I believe allowing all errors is a terrible default. Jay's suggestion would make it easier to ignore only some errors, especi

Re: [racket] Plot is voracious

2014-05-21 Thread Neil Toronto
avior is to let the errors thru, but that, if you turn that flag on, then it just swallows all errors? Robby On Wed, May 21, 2014 at 12:18 PM, Neil Toronto wrote: Division by zero and other math domain errors, primarily. There are two good reasons to ignore these. 1. Plotting is for visualizing f

Re: [racket] Plot is voracious

2014-05-21 Thread Neil Toronto
ere something wrong with doing that? Robby On Wed, May 21, 2014 at 11:09 AM, Neil Toronto wrote: Referencing an identifier before its definition raises an `exn:fail:contract:variable`. So that would put Plot in the weird position of having to distinguish different kinds of contract errors, but not by

Re: [racket] Plot is voracious

2014-05-21 Thread Neil Toronto
Referencing an identifier before its definition raises an `exn:fail:contract:variable`. So that would put Plot in the weird position of having to distinguish different kinds of contract errors, but not by using subtypes or any other simple rule. Maybe we should have an `exn:fail:contract:math`

Re: [racket] "error: degrees->complex: 360.0"

2014-05-16 Thread Neil Toronto
t;= θ 360)(- θ 360)] [else θ]))) Can you point me to your random real number generator, btw? Robby On Tue, May 13, 2014 at 9:06 AM, Neil Toronto wrote: I can't get it to take more than on iteration, either. It's there in case I missed something. :) Neil ⊥ On 05/13

Re: [racket] math/matrix

2014-05-13 Thread Neil Toronto
t of thing. /Jens Axel 2014-05-13 1:39 GMT+02:00 Neil Toronto : When I change it to operate on (Vectorof FlVector) instead of (Vectorof (Vectorof Flonum)), I get this: cpu time: 996 real time: 995 gc time: 22 1.9335 cpu time: 15387 real time: 15384 gc time: 13006 1.000

Re: [racket] Blog post about Racket

2014-05-13 Thread Neil Toronto
On 05/13/2014 10:26 AM, Jay Kominek wrote: On Tue, May 13, 2014 at 9:35 AM, Konrad Hinsen I see Racket's strength for scientific computing in a very different aspect: the possibility to define languages tailor-made for expressing computational models in some application domain. Scientists gener

Re: [racket] Blog post about Racket

2014-05-13 Thread Neil Toronto
On 05/13/2014 04:59 AM, Sam Tobin-Hochstadt wrote: On May 13, 2014 3:38 AM, "Konrad Hinsen" mailto:konrad.hin...@fastmail.net>> wrote: > > Sam Tobin-Hochstadt writes: > > > On Mon, May 12, 2014 at 10:18 AM, Matthias Felleisen > > mailto:matth...@ccs.neu.edu>> wrote: > > > > > >> If th

Re: [racket] "error: degrees->complex: 360.0"

2014-05-13 Thread Neil Toronto
I can't get it to take more than on iteration, either. It's there in case I missed something. :) Neil ⊥ On 05/13/2014 05:59 AM, Robby Findler wrote: Thanks, Neil! Why is the loop needed? I can't seem to get it to take more than one iteration. Robby On Mon, May 12, 2014 at

Re: [racket] "error: degrees->complex: 360.0"

2014-05-12 Thread Neil Toronto
He went with exact rationals. Here's another option, which preserves inexactness: (define (angle->proper-range α) (let loop ([θ (- α (* 360 (floor (/ α 360]) (cond [(negative? θ) (loop (+ θ 360))] [(>= θ 360) (loop (- θ 360))] [else θ])))

Re: [racket] math/matrix

2014-05-12 Thread Neil Toronto
0 0))) (time (let [(m (flonum-matrix-solve A b))] (matrix-ref m 0 0))) (time (let [(m (matrix-solve A b))] (matrix-ref m 0 0))) (time (let [(m (flonum-matrix-solve A b))] (matrix-ref m 0 0))) (time (let [(m (matrix-solve A b))] (matrix-ref m 0 0))) 2014-05-11 21:48 GMT+02:00 N

Re: [racket] math/matrix

2014-05-11 Thread Neil Toronto
The garbage collection time is probably from cleaning up boxed flonums, and possibly intermediate vectors. If so, a separate implementation of Gaussian elimination for the FlArray type would cut the GC time to nearly zero. Neil ⊥ On 05/11/2014 01:36 PM, Jens Axel Søgaard wrote: Or ... you co

Re: [racket] order of (discrete-dist-probs dist) same as (discrete-dist-values dist) ?

2014-05-01 Thread Neil Toronto
On 05/01/2014 04:31 PM, John Clements wrote: On Apr 28, 2014, at 8:29 PM, Neil Toronto wrote: On 04/28/2014 05:28 PM, John Clements wrote: The documentation for discrete probabilities goes out of its way to specified that discrete distributions are unordered. However, it looks to me like

Re: [racket] order of (discrete-dist-probs dist) same as (discrete-dist-values dist) ?

2014-04-28 Thread Neil Toronto
On 04/28/2014 05:28 PM, John Clements wrote: The documentation for discrete probabilities goes out of its way to specified that discrete distributions are unordered. However, it looks to me like order is partially present; in particular, if I use ‘discrete-dist-values’ and ‘discrete-dist-probs

Re: [racket] Plot silently fails for some characters in y-label

2014-04-25 Thread Neil Toronto
mething maybe helpful: when the \circ is in the string for draw-text the text is NOT rotated 90 degrees counter-clockwise. When the \circ is removed, the text is drawn rotated 90 degrees counter-clockwise. ...Ah, I see Kieron has uploaded an image to show. That is exactly what I see. Deren On Fr

Re: [racket] Plot silently fails for some characters in y-label

2014-04-25 Thread Neil Toronto
I can't replicate this problem on my machine, so I'll need more information. Can you run the following program and reply with what you see? #lang racket (require racket/draw plot) (plot (function sin #e1e-157 #e1e-156)) (define bm (make-bitmap 400 400)) (define dc (make-object bitmap-dc% bm)

Re: [racket] matrix-solve and approximation errors

2014-04-20 Thread Neil Toronto
On 04/17/2014 10:07 AM, Matthias Felleisen wrote: Neil, a two-layer design, using option contracts, could be a solution here. Interesting! So we could have both math/matrix and (say) math/unchecked-matrix, where the former enables the option contracts (e.g. that check matrix condition number

Re: [racket] Weird typed racket error

2014-04-19 Thread Neil Toronto
On 04/19/2014 09:43 PM, Alexander D. Knauth wrote: On Apr 19, 2014, at 10:44 PM, Neil Toronto mailto:neil.toro...@gmail.com>> wrote: That is weird. It works in the nightly build without annotating anything but `sphere3d`, and likely in the next release as well. Keyword arguments haven&

Re: [racket] Weird typed racket error

2014-04-19 Thread Neil Toronto
That is weird. It works in the nightly build without annotating anything but `sphere3d`, and likely in the next release as well. Keyword arguments haven't been all that well-supported in the past, so I'd try making the arguments to sphere3d positional instead. FWIW, the easiest way to destruct

Re: [racket] # and backward compatibility

2014-04-18 Thread Neil Toronto
On 04/18/2014 09:00 AM, Matthias Felleisen wrote: On Apr 18, 2014, at 10:48 AM, Neil Toronto wrote: Another benefit is that Typed Racket will no longer have to consider non-function letrec bindings as having the type (U Undefined A) where A is the "real" type. (Technically, (U U

Re: [racket] # and backward compatibility

2014-04-18 Thread Neil Toronto
On 04/18/2014 07:54 AM, Matthew Flatt wrote: No one expects the # value! Is this a... subtle... reference? [1] Based on our experiment so far, it looks like the drawbacks probably outweigh the benefits... I think you meant this the other way around. :) Another benefit is that Typed Racket

Re: [racket] plot pixel position

2014-04-16 Thread Neil Toronto
On 04/15/2014 12:59 PM, David Vanderson wrote: Is there a way to access area's plot->dc? For this example I wanted to ask if the mouse was within 2 pixels of any point. There's unfortunately not. But if your plots don't have axis transforms (i.e. have the identity transform), it's a linear f

Re: [racket] plot pixel position

2014-04-16 Thread Neil Toronto
iple repaint requests in the queue should not be coalesced into a single paint? Thanks, Dave On 04/01/2014 05:41 PM, Neil Toronto wrote: On 04/01/2014 02:17 PM, David Vanderson wrote: Plot is fantastic - thanks so much! Is there a way to hook into the interactive features of plot so, for instanc

Re: [racket] matrix-solve and approximation errors

2014-04-16 Thread Neil Toronto
FWIW, Jens Axel's "very close" needs quantifying: the entries are less than 2^-52 away from comprising a non-invertible matrix. :) But approximation error is a big deal, and quantifying and responding to it currently has little support in `math/matrix'. We need two things to start with. One re

Re: [racket] Controlling the size of plot symbols

2014-04-11 Thread Neil Toronto
umber of parameters (thats why I wanted to put them in one mins-and-maxes argument instead of having separate arguments for each min and max. But I have no idea how to define something like this. On Apr 10, 2014, at 11:27 PM, Neil Toronto wrote: (define (sphere3

Re: [racket] Controlling the size of plot symbols

2014-04-11 Thread Neil Toronto
On 04/11/2014 02:04 AM, Konrad Hinsen wrote: Neil Toronto writes: > On git HEAD this takes about 15-20 seconds on my computer, depending on > random sphere placement and size. It takes 5-6 seconds for 81 samples > instead of 121. For comparison, the following takes 7-10 sec

Re: [racket] Controlling the size of plot symbols

2014-04-10 Thread Neil Toronto
On 04/10/2014 08:16 PM, Konrad Hinsen wrote: Neil Toronto writes: > It's unfortunately not. But I think there's something you can do > instead: use `parametric-interval' to draw the circles instead. Thanks for the example, which contains some nice tricks I'll k

Re: [racket] Controlling the size of plot symbols

2014-04-10 Thread Neil Toronto
On 04/10/2014 08:17 AM, Konrad Hinsen wrote: Hi everyone, I am trying to use (abuse?) Racket's 3D plots for molecular visualization. It actually works out better than I expected, except that I haven't yet figured out how to control the size of the plot symbols in the way I want. The documentat

  1   2   3   4   5   >