Neven Sajko
Neven Sajko
``` (@v1.9) pkg> add Z3 Resolving package versions... Updating `~/.julia/environments/v1.9/Project.toml` [06b161dc] + Z3 v0.4.2 Updating `~/.julia/environments/v1.9/Manifest.toml` [1f15a43c] + CxxWrap v0.12.1 [06b161dc] + Z3 v0.4.2 [3eaa8342] + libcxxwrap_julia_jll v0.9.2+0 [1bc4e1ec] +...
`xticks` works fine: ```julia-repl julia> plot( y = [sind], xmin = [0.0], xmax = [29.0], Stat.xticks(coverage_weight = 7/8), Stat.func(), Geom.line(), ) ``` Using `yticks` instead of `xticks` errors: ```julia-repl julia>...
Clear up some things, state some expected properties and limitations, add cross-references, add more examples.
Unlike for some other extensions, Code doesn't offer me to install a prerelease version of the Julia extension. I use the Code editor as available in the Arch Linux repos,...
With `v1.60.2`:  The `1,0`, `1,1` should instead be just `10`, `11`.
As of recently, the results are often displayed starting with minus. Example: ```julia-repl julia> using Symbolics julia> @variables x 1-element Vector{Num}: x julia> (x - 1)*(x - 1) (-1 +...
```julia-repl julia> using Symbolics julia> @variables x 1-element Vector{Num}: x julia> (x - 1)*(x - 1) # how to convert the result from factored to standard form? (-1 + x)^2...
```julia-repl julia> using Symbolics julia> @variables x 1-element Vector{Num}: x julia> invoke(binomial, Tuple{Number, Integer}, x, 3) # this is what I would expect from `binomial(x, 3)` (1//6)*x*(x - 1)*(x -...
Currently trying to use `fma` on Symbolics variables (`Num`) fails. This should be supported, I think. Given that `Num` can contain either symbolic or numeric values, `fma` for `Num`s can...
I notice that `Symbolics` defines and exports two functions, `solve_single_eq` and `solve_system_eq`. Even though they are exported, they are *not* documented. That said, the function signatures are somewhat self-explanatory. Are...