On Sun, Feb 04, 2024 at 11:46:17PM +1100, Hill Strong wrote:
> In the array1.spad file the following is defined
>
> shrink(r, i) ==
> r.logLen := r.logLen - i
> negative?(n := r.logLen) => error "internal bug in flexible array"
> 2*n+2 > r.physLen => r
> not shrinkable? => r
> if n < r.logLen then error "cannot shrink flexible array to
> indicated size"
> n = 0 => empty()
> r.physLen := n
> y := newa(n::N, a := r.f)
> for k in 0 .. n-1 repeat y.k := a.k
> r.f := y
> r
>
> The line starting with
>
> if n < r.logLen
>
> can never be executed as the previous definition for n has already set this
> value to r.logLen.
>
> I can, if anyone is interested, create a pull request to remove this
> specific line from the definition.
Thanks, for 1 line change it is simpler for me to just make the change.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZcApr6U8nMCel8A3%40fricas.org.
