I will both show the particles in a simulation box and some more condensed statistics. Neither is particularly sensitive to errors, in terms of how they look.
Even the bugs can be attractive.
let lj (sigma:f32) (epsilon:f32) (r:f32) =
let sdr = sigma/r
let sdr2 = sdr*sdr
let sdr6 = sdr2*sdr2*sdr2
let sdr12 = sdr6*sdr6
in 4*epsilon*(sdr12-sdr6)
let k_B:f32 = 8.617333262125e-5 -- eV/K
let p T V = f32.exp (-V/(k_B*T))
let sigma:f32 = 1
let epsilon:f32 = 1
let n:i64 = 100
let rs = tabulate n (\i -> 3*sigma* f32.from_fraction i n)
let vs = map (\r -> let v = lj sigma epsilon r in (v, p 300 v)) rs
let rvs = zip (zip rs rs) vs
-- > :plot2d rvsresults in
Internal compiler error (unhandled IO exception).
Please report this at https://github.com/diku-dk/futhark/issues
After sending command ["store","/tmp/futhark-server-read1763236-1","out0"] to server process:fd:330: hGetLine: end of file
Server process exited unexpectedly with exit code: -11
Server stderr:
CallStack (from HasCallStack):
error, called at src/Futhark/Server.hs:141:7 in futhark-0.20.0-7O7l1SWHThQFOpbzz8q8kj:Futhark.ServerWhat am I doing wrong?
oh, I see it now...
the
x and y values should not be zipped
after changing that I get
> :plot2d rvs failed:
Invalid data file produced by Futhark server.
futhark: testplot-img: getDirectoryContents:openDirStream: does not exist (No such file or directory)
That part is documented.
futhark literate is just terrible at handling errors.
The documentations says it can also handle records of said type, but I had no luck with that either.
let rs = tabulate n (\i -> 3*sigma* f32.from_fraction i n)
let vs = map (lj sigma epsilon) rs
let ps = map (p 300) vs
let rvs = {potential = (rs, vs), probability = (rs, ps)}
-- > :plot2d rvsInternal compiler error (unhandled IO exception).
Please report this at https://github.com/diku-dk/futhark/issues
After sending command ["store","/tmp/futhark-server-read1951878-1","out0"] to server process:fd:330: hGetLine: end of file
Server process exited unexpectedly with exit code: -11
Server stderr:
CallStack (from HasCallStack):
error, called at src/Futhark/Server.hs:141:7 in futhark-0.20.0-7O7l1SWHThQFOpbzz8q8kj:Futhark.Server
I see. This is because records are not exposed in the C API. If you want to plot records, you need to use a record expression directly in the directive:
:plt2d {potential = (rs, vs), probability = (rs, ps)}.
It's really a hack.
The C interface actually supports obtaining the raw data (in the binary data format) underlying any opaque value. What would be needed is a description of how those parts map to the high-level type.
This would be interesting for sum types, but not so hard for records.
removing all the whitespace in the record declaration works
but my guess is that it is not supposed to be whitespace-sensitive
What size is
bool in binary data sets? and what layout do higher ranked arrays have?
i've seen that page, but size of bools and layout of higher ranked arrays doesn't seem to be documented there
Thanks
By the way, if you are in the unfortunate situation that you have to work directly with the Futhark data format, but fortunate enough to use Python, consider: https://pypi.org/project/futhark-data/
This is for the output of the lexer generator. For the parser, i just generated a source file, but for the lexer this file is several megabytes and so i can't really do that.
I can either use some internal format or the Futhark binary data format. I guess the latter adds that i can experiment more easily.
Thanks for that link though, i'll check out its source and use it for the small helper scripts i made.
i mean is the first value when writing
a[x, y] the innermost or outermost axis
But when you flatten/reshape arrays, the semantic ordering is considered row-major order.
Do i need to do something to update the tag? I've been compiling Futhark for myself but if i just do pull and stack install the tag doesn't seem to change, and i'm wondering if i'm doing that right
