2022-03-23 00:38:01 +00:00
|
|
|
import * as React from "react";
|
|
|
|
import _ from "lodash";
|
|
|
|
import type { Spec } from "vega";
|
|
|
|
import { run } from "@quri/squiggle-lang";
|
|
|
|
import type {
|
|
|
|
DistPlus,
|
|
|
|
SamplingInputs,
|
|
|
|
exportEnv,
|
|
|
|
exportDistribution,
|
|
|
|
} from "@quri/squiggle-lang";
|
|
|
|
import { createClassFromSpec } from "react-vega";
|
|
|
|
import * as chartSpecification from "./spec-distributions.json";
|
|
|
|
import * as percentilesSpec from "./spec-pertentiles.json";
|
|
|
|
|
|
|
|
let SquiggleVegaChart = createClassFromSpec({
|
|
|
|
spec: chartSpecification as Spec,
|
|
|
|
});
|
|
|
|
|
|
|
|
let SquigglePercentilesChart = createClassFromSpec({
|
|
|
|
spec: percentilesSpec as Spec,
|
|
|
|
});
|
2022-02-27 04:41:30 +00:00
|
|
|
|
2022-03-01 07:43:35 +00:00
|
|
|
export interface SquiggleChartProps {
|
|
|
|
/** The input string for squiggle */
|
2022-03-23 00:38:01 +00:00
|
|
|
squiggleString: string;
|
|
|
|
|
2022-03-01 07:43:35 +00:00
|
|
|
/** If the output requires monte carlo sampling, the amount of samples */
|
2022-03-23 00:38:01 +00:00
|
|
|
sampleCount?: number;
|
2022-03-01 07:43:35 +00:00
|
|
|
/** The amount of points returned to draw the distribution */
|
2022-03-23 00:38:01 +00:00
|
|
|
outputXYPoints?: number;
|
|
|
|
kernelWidth?: number;
|
|
|
|
pointDistLength?: number;
|
2022-03-01 07:43:35 +00:00
|
|
|
/** If the result is a function, where the function starts */
|
2022-03-23 00:38:01 +00:00
|
|
|
diagramStart?: number;
|
2022-03-01 07:43:35 +00:00
|
|
|
/** If the result is a function, where the function ends */
|
2022-03-23 00:38:01 +00:00
|
|
|
diagramStop?: number;
|
2022-03-01 07:43:35 +00:00
|
|
|
/** If the result is a function, how many points along the function it samples */
|
2022-03-23 00:38:01 +00:00
|
|
|
diagramCount?: number;
|
2022-03-22 02:33:28 +00:00
|
|
|
/** variables declared before this expression */
|
2022-03-23 00:38:01 +00:00
|
|
|
environment?: exportEnv;
|
2022-03-22 02:33:28 +00:00
|
|
|
/** When the environment changes */
|
2022-03-23 00:38:01 +00:00
|
|
|
onEnvChange?(env: exportEnv): void;
|
2022-03-01 07:43:35 +00:00
|
|
|
}
|
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
export const SquiggleChart: React.FC<SquiggleChartProps> = (props) => {
|
|
|
|
let samplingInputs: SamplingInputs = {
|
|
|
|
sampleCount: props.sampleCount,
|
|
|
|
outputXYPoints: props.outputXYPoints,
|
|
|
|
kernelWidth: props.kernelWidth,
|
|
|
|
pointDistLength: props.pointDistLength,
|
|
|
|
};
|
2022-02-27 04:41:30 +00:00
|
|
|
|
2022-03-22 02:33:28 +00:00
|
|
|
let result = run(props.squiggleString, samplingInputs, props.environment);
|
2022-02-27 04:41:30 +00:00
|
|
|
if (result.tag === "Ok") {
|
2022-03-23 00:38:01 +00:00
|
|
|
let environment = result.value.environment;
|
|
|
|
let exports = result.value.exports;
|
|
|
|
if (props.onEnvChange) props.onEnvChange(environment);
|
|
|
|
let chartResults = exports.map((chartResult: exportDistribution) => {
|
|
|
|
if (chartResult["NAME"] === "Float") {
|
2022-02-27 04:41:30 +00:00
|
|
|
return <MakeNumberShower precision={3} number={chartResult["VAL"]} />;
|
2022-03-23 00:38:01 +00:00
|
|
|
} else if (chartResult["NAME"] === "DistPlus") {
|
2022-02-27 04:41:30 +00:00
|
|
|
let shape = chartResult.VAL.pointSetDist;
|
2022-03-23 00:38:01 +00:00
|
|
|
if (shape.tag === "Continuous") {
|
2022-02-27 04:41:30 +00:00
|
|
|
let xyShape = shape.value.xyShape;
|
|
|
|
let totalY = xyShape.ys.reduce((a, b) => a + b);
|
|
|
|
let total = 0;
|
2022-03-23 00:38:01 +00:00
|
|
|
let cdf = xyShape.ys.map((y) => {
|
2022-02-27 04:41:30 +00:00
|
|
|
total += y;
|
|
|
|
return total / totalY;
|
2022-03-23 00:38:01 +00:00
|
|
|
});
|
|
|
|
let values = _.zip(cdf, xyShape.xs, xyShape.ys).map(([c, x, y]) => ({
|
|
|
|
cdf: (c * 100).toFixed(2) + "%",
|
|
|
|
x: x,
|
|
|
|
y: y,
|
|
|
|
}));
|
|
|
|
|
|
|
|
return <SquiggleVegaChart data={{ con: values }} />;
|
|
|
|
} else if (shape.tag === "Discrete") {
|
2022-02-27 04:41:30 +00:00
|
|
|
let xyShape = shape.value.xyShape;
|
|
|
|
let totalY = xyShape.ys.reduce((a, b) => a + b);
|
|
|
|
let total = 0;
|
2022-03-23 00:38:01 +00:00
|
|
|
let cdf = xyShape.ys.map((y) => {
|
2022-02-27 04:41:30 +00:00
|
|
|
total += y;
|
|
|
|
return total / totalY;
|
2022-03-23 00:38:01 +00:00
|
|
|
});
|
|
|
|
let values = _.zip(cdf, xyShape.xs, xyShape.ys).map(([c, x, y]) => ({
|
|
|
|
cdf: (c * 100).toFixed(2) + "%",
|
|
|
|
x: x,
|
|
|
|
y: y,
|
|
|
|
}));
|
|
|
|
|
|
|
|
return <SquiggleVegaChart data={{ dis: values }} />;
|
|
|
|
} else if (shape.tag === "Mixed") {
|
2022-02-27 04:41:30 +00:00
|
|
|
let discreteShape = shape.value.discrete.xyShape;
|
|
|
|
let totalDiscrete = discreteShape.ys.reduce((a, b) => a + b);
|
|
|
|
|
|
|
|
let discretePoints = _.zip(discreteShape.xs, discreteShape.ys);
|
|
|
|
let continuousShape = shape.value.continuous.xyShape;
|
|
|
|
let continuousPoints = _.zip(continuousShape.xs, continuousShape.ys);
|
|
|
|
|
|
|
|
interface labeledPoint {
|
2022-03-23 00:38:01 +00:00
|
|
|
x: number;
|
|
|
|
y: number;
|
|
|
|
type: "discrete" | "continuous";
|
|
|
|
}
|
2022-02-27 04:41:30 +00:00
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
let markedDisPoints: labeledPoint[] = discretePoints.map(
|
|
|
|
([x, y]) => ({ x: x, y: y, type: "discrete" })
|
|
|
|
);
|
|
|
|
let markedConPoints: labeledPoint[] = continuousPoints.map(
|
|
|
|
([x, y]) => ({ x: x, y: y, type: "continuous" })
|
|
|
|
);
|
2022-02-27 04:41:30 +00:00
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
let sortedPoints = _.sortBy(
|
|
|
|
markedDisPoints.concat(markedConPoints),
|
|
|
|
"x"
|
|
|
|
);
|
2022-02-27 04:41:30 +00:00
|
|
|
|
|
|
|
let totalContinuous = 1 - totalDiscrete;
|
2022-03-23 00:38:01 +00:00
|
|
|
let totalY = continuousShape.ys.reduce(
|
|
|
|
(a: number, b: number) => a + b
|
|
|
|
);
|
2022-02-27 04:41:30 +00:00
|
|
|
|
|
|
|
let total = 0;
|
|
|
|
let cdf = sortedPoints.map((point: labeledPoint) => {
|
2022-03-23 00:38:01 +00:00
|
|
|
if (point.type == "discrete") {
|
2022-02-27 04:41:30 +00:00
|
|
|
total += point.y;
|
|
|
|
return total;
|
2022-03-23 00:38:01 +00:00
|
|
|
} else if (point.type == "continuous") {
|
|
|
|
total += (point.y / totalY) * totalContinuous;
|
2022-02-27 04:41:30 +00:00
|
|
|
return total;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
interface cdfLabeledPoint {
|
2022-03-23 00:38:01 +00:00
|
|
|
cdf: string;
|
|
|
|
x: number;
|
|
|
|
y: number;
|
|
|
|
type: "discrete" | "continuous";
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
2022-03-23 00:38:01 +00:00
|
|
|
let cdfLabeledPoint: cdfLabeledPoint[] = _.zipWith(
|
|
|
|
cdf,
|
|
|
|
sortedPoints,
|
|
|
|
(c: number, point: labeledPoint) => ({
|
|
|
|
...point,
|
|
|
|
cdf: (c * 100).toFixed(2) + "%",
|
|
|
|
})
|
|
|
|
);
|
|
|
|
let continuousValues = cdfLabeledPoint.filter(
|
|
|
|
(x) => x.type == "continuous"
|
|
|
|
);
|
|
|
|
let discreteValues = cdfLabeledPoint.filter(
|
|
|
|
(x) => x.type == "discrete"
|
|
|
|
);
|
2022-02-27 04:41:30 +00:00
|
|
|
|
|
|
|
return (
|
2022-03-23 00:38:01 +00:00
|
|
|
<SquiggleVegaChart
|
|
|
|
data={{ con: continuousValues, dis: discreteValues }}
|
|
|
|
/>
|
2022-02-27 04:41:30 +00:00
|
|
|
);
|
2022-03-23 00:38:01 +00:00
|
|
|
}
|
|
|
|
} else if (chartResult.NAME === "Function") {
|
|
|
|
// We are looking at a function. In this case, we draw a Percentiles chart
|
|
|
|
let start = props.diagramStart ? props.diagramStart : 0;
|
|
|
|
let stop = props.diagramStop ? props.diagramStop : 10;
|
|
|
|
let count = props.diagramCount ? props.diagramCount : 0.1;
|
|
|
|
let step = (stop - start) / count;
|
|
|
|
let data = _.range(start, stop, step).map((x) => {
|
|
|
|
if (chartResult.NAME == "Function") {
|
|
|
|
let result = chartResult.VAL(x);
|
|
|
|
if (result.tag == "Ok") {
|
|
|
|
let percentileArray = [
|
|
|
|
0.01, 0.05, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 0.95,
|
|
|
|
0.99,
|
|
|
|
];
|
|
|
|
|
|
|
|
let percentiles = getPercentiles(percentileArray, result.value);
|
|
|
|
return {
|
|
|
|
x: x,
|
|
|
|
p1: percentiles[0],
|
|
|
|
p5: percentiles[1],
|
|
|
|
p10: percentiles[2],
|
|
|
|
p20: percentiles[3],
|
|
|
|
p30: percentiles[4],
|
|
|
|
p40: percentiles[5],
|
|
|
|
p50: percentiles[6],
|
|
|
|
p60: percentiles[7],
|
|
|
|
p70: percentiles[8],
|
|
|
|
p80: percentiles[9],
|
|
|
|
p90: percentiles[10],
|
|
|
|
p95: percentiles[11],
|
|
|
|
p99: percentiles[12],
|
|
|
|
};
|
|
|
|
}
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
2022-03-23 00:38:01 +00:00
|
|
|
return 0;
|
|
|
|
});
|
|
|
|
return <SquigglePercentilesChart data={{ facet: data }} />;
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
2022-03-23 00:38:01 +00:00
|
|
|
});
|
2022-02-27 04:41:30 +00:00
|
|
|
return <>{chartResults}</>;
|
2022-03-23 00:38:01 +00:00
|
|
|
} else if (result.tag == "Error") {
|
2022-02-27 04:41:30 +00:00
|
|
|
// At this point, we came across an error. What was our error?
|
2022-03-23 00:38:01 +00:00
|
|
|
return <p>{"Error parsing Squiggle: " + result.value}</p>;
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
2022-03-23 00:38:01 +00:00
|
|
|
return <p>{"Invalid Response"}</p>;
|
2022-02-27 04:41:30 +00:00
|
|
|
};
|
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
function getPercentiles(percentiles: number[], t: DistPlus) {
|
|
|
|
if (t.pointSetDist.tag == "Discrete") {
|
2022-02-27 04:41:30 +00:00
|
|
|
let total = 0;
|
2022-03-23 00:38:01 +00:00
|
|
|
let maxX = _.max(t.pointSetDist.value.xyShape.xs);
|
|
|
|
let bounds = percentiles.map((_) => maxX);
|
|
|
|
_.zipWith(
|
|
|
|
t.pointSetDist.value.xyShape.xs,
|
|
|
|
t.pointSetDist.value.xyShape.ys,
|
|
|
|
(x, y) => {
|
|
|
|
total += y;
|
2022-02-27 04:41:30 +00:00
|
|
|
percentiles.forEach((v, i) => {
|
2022-03-23 00:38:01 +00:00
|
|
|
if (total > v && bounds[i] == maxX) {
|
|
|
|
bounds[i] = x;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
|
|
|
);
|
|
|
|
return bounds;
|
|
|
|
} else if (t.pointSetDist.tag == "Continuous") {
|
2022-02-27 04:41:30 +00:00
|
|
|
let total = 0;
|
2022-03-23 00:38:01 +00:00
|
|
|
let maxX = _.max(t.pointSetDist.value.xyShape.xs);
|
|
|
|
let totalY = _.sum(t.pointSetDist.value.xyShape.ys);
|
|
|
|
let bounds = percentiles.map((_) => maxX);
|
|
|
|
_.zipWith(
|
|
|
|
t.pointSetDist.value.xyShape.xs,
|
|
|
|
t.pointSetDist.value.xyShape.ys,
|
|
|
|
(x, y) => {
|
2022-02-27 04:41:30 +00:00
|
|
|
total += y / totalY;
|
|
|
|
percentiles.forEach((v, i) => {
|
2022-03-23 00:38:01 +00:00
|
|
|
if (total > v && bounds[i] == maxX) {
|
|
|
|
bounds[i] = x;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
|
|
|
);
|
|
|
|
return bounds;
|
|
|
|
} else if (t.pointSetDist.tag == "Mixed") {
|
2022-02-27 04:41:30 +00:00
|
|
|
let discreteShape = t.pointSetDist.value.discrete.xyShape;
|
|
|
|
let totalDiscrete = discreteShape.ys.reduce((a, b) => a + b);
|
|
|
|
|
|
|
|
let discretePoints = _.zip(discreteShape.xs, discreteShape.ys);
|
|
|
|
let continuousShape = t.pointSetDist.value.continuous.xyShape;
|
|
|
|
let continuousPoints = _.zip(continuousShape.xs, continuousShape.ys);
|
|
|
|
|
|
|
|
interface labeledPoint {
|
2022-03-23 00:38:01 +00:00
|
|
|
x: number;
|
|
|
|
y: number;
|
|
|
|
type: "discrete" | "continuous";
|
|
|
|
}
|
2022-02-27 04:41:30 +00:00
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
let markedDisPoints: labeledPoint[] = discretePoints.map(([x, y]) => ({
|
|
|
|
x: x,
|
|
|
|
y: y,
|
|
|
|
type: "discrete",
|
|
|
|
}));
|
|
|
|
let markedConPoints: labeledPoint[] = continuousPoints.map(([x, y]) => ({
|
|
|
|
x: x,
|
|
|
|
y: y,
|
|
|
|
type: "continuous",
|
|
|
|
}));
|
2022-02-27 04:41:30 +00:00
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
let sortedPoints = _.sortBy(markedDisPoints.concat(markedConPoints), "x");
|
2022-02-27 04:41:30 +00:00
|
|
|
|
|
|
|
let totalContinuous = 1 - totalDiscrete;
|
2022-03-23 00:38:01 +00:00
|
|
|
let totalY = continuousShape.ys.reduce((a: number, b: number) => a + b);
|
2022-02-27 04:41:30 +00:00
|
|
|
|
|
|
|
let total = 0;
|
2022-03-23 00:38:01 +00:00
|
|
|
let maxX = _.max(sortedPoints.map((x) => x.x));
|
|
|
|
let bounds = percentiles.map((_) => maxX);
|
2022-02-27 04:41:30 +00:00
|
|
|
sortedPoints.map((point: labeledPoint) => {
|
2022-03-23 00:38:01 +00:00
|
|
|
if (point.type == "discrete") {
|
2022-02-27 04:41:30 +00:00
|
|
|
total += point.y;
|
2022-03-23 00:38:01 +00:00
|
|
|
} else if (point.type == "continuous") {
|
|
|
|
total += (point.y / totalY) * totalContinuous;
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
2022-03-23 00:38:01 +00:00
|
|
|
percentiles.forEach((v, i) => {
|
|
|
|
if (total > v && bounds[i] == maxX) {
|
2022-02-27 04:41:30 +00:00
|
|
|
bounds[i] = total;
|
|
|
|
}
|
2022-03-23 00:38:01 +00:00
|
|
|
});
|
2022-02-27 04:41:30 +00:00
|
|
|
return total;
|
|
|
|
});
|
|
|
|
return bounds;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
function MakeNumberShower(props: { number: number; precision: number }) {
|
2022-02-27 04:41:30 +00:00
|
|
|
let numberWithPresentation = numberShow(props.number, props.precision);
|
|
|
|
return (
|
|
|
|
<span>
|
|
|
|
{numberWithPresentation.value}
|
|
|
|
{numberWithPresentation.symbol}
|
2022-03-23 00:38:01 +00:00
|
|
|
{numberWithPresentation.power ? (
|
|
|
|
<span>
|
|
|
|
{"\u00b710"}
|
|
|
|
<span style={{ fontSize: "0.6em", verticalAlign: "super" }}>
|
|
|
|
{numberWithPresentation.power}
|
|
|
|
</span>
|
2022-02-27 04:41:30 +00:00
|
|
|
</span>
|
2022-03-23 00:38:01 +00:00
|
|
|
) : (
|
|
|
|
<></>
|
|
|
|
)}
|
2022-02-27 04:41:30 +00:00
|
|
|
</span>
|
2022-03-23 00:38:01 +00:00
|
|
|
);
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
const orderOfMagnitudeNum = (n: number) => {
|
2022-02-27 04:41:30 +00:00
|
|
|
return Math.pow(10, n);
|
|
|
|
};
|
|
|
|
|
|
|
|
// 105 -> 3
|
2022-03-23 00:38:01 +00:00
|
|
|
const orderOfMagnitude = (n: number) => {
|
2022-02-27 04:41:30 +00:00
|
|
|
return Math.floor(Math.log(n) / Math.LN10 + 0.000000001);
|
|
|
|
};
|
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
function withXSigFigs(number: number, sigFigs: number) {
|
2022-02-27 04:41:30 +00:00
|
|
|
const withPrecision = number.toPrecision(sigFigs);
|
|
|
|
const formatted = Number(withPrecision);
|
|
|
|
return `${formatted}`;
|
|
|
|
}
|
|
|
|
|
|
|
|
class NumberShower {
|
2022-03-23 00:38:01 +00:00
|
|
|
number: number;
|
|
|
|
precision: number;
|
2022-02-27 04:41:30 +00:00
|
|
|
|
2022-03-23 00:38:01 +00:00
|
|
|
constructor(number: number, precision = 2) {
|
2022-02-27 04:41:30 +00:00
|
|
|
this.number = number;
|
|
|
|
this.precision = precision;
|
|
|
|
}
|
|
|
|
|
|
|
|
convert() {
|
|
|
|
const number = Math.abs(this.number);
|
|
|
|
const response = this.evaluate(number);
|
|
|
|
if (this.number < 0) {
|
2022-03-23 00:38:01 +00:00
|
|
|
response.value = "-" + response.value;
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
2022-03-23 00:38:01 +00:00
|
|
|
return response;
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
metricSystem(number: number, order: number) {
|
|
|
|
const newNumber = number / orderOfMagnitudeNum(order);
|
|
|
|
const precision = this.precision;
|
|
|
|
return `${withXSigFigs(newNumber, precision)}`;
|
|
|
|
}
|
|
|
|
|
|
|
|
evaluate(number: number) {
|
|
|
|
if (number === 0) {
|
2022-03-23 00:38:01 +00:00
|
|
|
return { value: this.metricSystem(0, 0) };
|
2022-02-27 04:41:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
const order = orderOfMagnitude(number);
|
|
|
|
if (order < -2) {
|
|
|
|
return { value: this.metricSystem(number, order), power: order };
|
|
|
|
} else if (order < 4) {
|
|
|
|
return { value: this.metricSystem(number, 0) };
|
|
|
|
} else if (order < 6) {
|
2022-03-23 00:38:01 +00:00
|
|
|
return { value: this.metricSystem(number, 3), symbol: "K" };
|
2022-02-27 04:41:30 +00:00
|
|
|
} else if (order < 9) {
|
2022-03-23 00:38:01 +00:00
|
|
|
return { value: this.metricSystem(number, 6), symbol: "M" };
|
2022-02-27 04:41:30 +00:00
|
|
|
} else if (order < 12) {
|
2022-03-23 00:38:01 +00:00
|
|
|
return { value: this.metricSystem(number, 9), symbol: "B" };
|
2022-02-27 04:41:30 +00:00
|
|
|
} else if (order < 15) {
|
2022-03-23 00:38:01 +00:00
|
|
|
return { value: this.metricSystem(number, 12), symbol: "T" };
|
2022-02-27 04:41:30 +00:00
|
|
|
} else {
|
|
|
|
return { value: this.metricSystem(number, order), power: order };
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
export function numberShow(number: number, precision = 2) {
|
|
|
|
const ns = new NumberShower(number, precision);
|
|
|
|
return ns.convert();
|
|
|
|
}
|