Ricardo Buring

Results 24 issues of Ricardo Buring

### Library name FLINT ### Library description FLINT is a C library for doing number theory. ### Library repository https://github.com/flintlib/flint/ ### Motivation I would like to easily compare assembly of...

new-libs
request

This contains only the basic structure so far, such as memory management, additive arithmetic, and multiplication from the left by an element of the base ring. - Part of https://github.com/flintlib/flint/issues/1881...

generics

Probably there should be an error/crash instead, when either the number of rows or the number of columns is negative. The same applies to (all?) other matrix types.

See e.g. [godotengine/godot/platform/linuxbsd/detect.py](https://github.com/godotengine/godot/blob/a013481b0911e59cc3f3dea7ebb732450c3e1460/platform/linuxbsd/detect.py#L145-L181) for some compiler/linker flags like `-fsanitize=address`.

feature request
workshop 2025

FLINT has an implementation of Gaussian integers in `fmpzi`, but not Gaussian rationals which would presumably be called `fmpqi` . Consider e.g. a differential operator with rational polynomial coefficients, and...

Minimalistic demo based on https://docs.godotengine.org/en/stable/classes/class_webxrinterface.html and https://www.snopekgames.com/tutorial/2023/how-make-vr-game-webxr-godot-4 - Closes https://github.com/godotengine/godot-demo-projects/issues/1167 cc @dsnopek

enhancement
new demo
topic:xr

There is no WebXR demo. The XR demos do not support WebXR. It would be nice to have a WebXR demo which is exported to the web and includes the...

enhancement
topic:xr

Output: ``` d/dx(u) = u_x; d/dx(v) = v_x; d/dx(u_x) = u_xx; d/dx(u_y) = u_xy; d/dx(u_z) = u_xz; d/dx(v_x) = v_xx; d/dx(v_y) = v_xy; d/dx(v_z) = v_xz; d/dx(u_xx) = u_xxx; d/dx(u_xy)...

workshop 2025v2

While working on implementing `gr_derivative` I noticed there is no GR context for `fmpq_mpoly`.

This is not really essential, but would be nice to have so not everyone has to figure this out by themselves. The README includes the Ubuntu command apt install libgmp-dev...

documentation