Chung-chieh Shan

Expect transformation lost a binder

3

``` $ cat try.hk expect _

assertion failed, KB:-kb_Partition expects its return value to be of type Partition, but computed 2 = 0

3

I found this `simplify under piecewise` test regression on the `kronecker_in_simplify` branch: ``` $ maple -q update-archive.mpl $ maple -q NewSLOTests.mpl ... Error, (in KB:-kb_Partition) assertion failed, KB:-kb_Partition expects its...

How to look up type and bounds of array element?

13

The handy function `KB:-getType` is used at https://github.com/hakaru-dev/hakaru/blob/27de9787321139cdb5ebb6b25101b149745a9a43/maple/Summary.mpl#L215 to see if an expression is a bounded integer. This only works if the expression is a variable. What's the best way...

Teach KB about properties that hold of every element of an array

11

See comments at https://github.com/hakaru-dev/hakaru/commit/0a8264713f001b5bef3488f2543c973b2f709dd9#commitcomment-21844243 As discussed there, one goal is to get ``` with(Hakaru): with(KB): w, kb := genType(w, HArray(HInt(Bound(`>=`,0))), empty); simplify_assuming(piecewise(idx(w,0)

"Install .plt File" dialog allows and hides multiline input

1

Today I copied this URL to my clipboard, including a trailing newline: `http://www.cs.indiana.edu/classes/c211/c211-handin.plt` Then I chose "File" -> "Install .plt File" and pasted into the "Web" tab. The "URL:" text...

Catch up with c244900240742a567302a0da02c57693e11fedfb

memcpy given #<eof> in read-png-bytes

3

Loading [the attached file](https://github.com/racket/draw/files/7094926/0901afternoon.zip) causes the following error in DrRacket v8.2 [cs]: ``` memcpy: contract violation expected: exact-nonnegative-integer? given: # context: (read-png-bytes . #(struct:srcloc # 228 0 9596 169)) (read-png...

Avoid the call to permute in LookupInfo.lookup

1

Call `unsqueeze` and `permute` ahead of time in `LookupInfo.view`, then just index into the result in `view_lookup` instead of `lookup` This speeds up https://github.com/diprism/fggs/blob/main/test/test_sum_product.py by ~10%