pre-Proposal: Math Working Group

riskiest · October 27, 2020, 3:04am

I propose to create a math working group to focus on the healthy development of the Rust language numerical calculation system.

First, clarify that although the working group expects to cover scientific computing content (refer to Matlab, Wolfram Mathematica, etc), it still proposes to simply call as math working group.

I wonder why there is no math working group in Rust? Numerical calculations are important to any language, even for rust language that was not born for numerical calculations.

The responsibilities of the working group roughly include the followings:

Organize and propose the crate-chain of scientific computing;
Define certain crates as "working group recommended" in the crate-chain to reduce the selection difficulty for novices;
Identify missing crates in mathematics, such as symbolic calculations, PDE solvers, etc. for now, and mark some missing crates as "urgently needed";
For some key missing crates, the working group can also create projects and implement them;
And more things that I didn't expect now;

I hope that this proposal can be supported by the community, and that the working group can be formed by community numerical computing experts. I will also try my best to devote time to support this working group.

Tom-Phinney · October 27, 2020, 3:09pm

You may get more interest on this if you repost it in the Rust users' forum. This forum is dedicated to Rust language and tooling issues, so is less likely to be read by your intended audience.

programmerjake · October 27, 2020, 8:03pm

I've created an algebraic numbers crate, that should be useful for some things. I also created a non-official reference implementation of IEEE 754 floating-point based on the algebraic numbers crate -- intended to be easy to understand to assure correctness rather than being fast.

elichai2 · October 30, 2020, 9:05am

There's the rust-num project which gives you bigInts and Complex types, but it's still missing tons of algorithms (gcd, fft etc)

simmet · October 30, 2020, 5:14pm

Hello, I'm a student of math and I have done research related to numerical computing mostly for statistical modeling.

carrybit · October 31, 2020, 6:04pm

I'm all for this...

One of the big additions I was hoping to make that might be slightly controversial is to make a 32 bit version of most of the basic math functions.

I haven't looked into it carefully yet, but from what I've seen, many (all?) math functions are only implemented in f64 and then truncated back to f32...

Not only is that slower, but in many cases it is frustrating when the truncated result is different from the rounded result.

scottmcm · October 31, 2020, 7:50pm

This is probably platform-dependent. For most of these things Rust just calls the platform library; it's not implementing them itself. So if you want something better, check your libm.

carrybit · November 1, 2020, 7:34pm

I'm confused... When I look at the source for cos (cos.rs) I only see a f64 implementation:

github.com

rust-lang/libm/blob/master/src/math/cos.rs

// origin: FreeBSD /usr/src/lib/msun/src/s_cos.c */
//
// ====================================================
// Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
//
// Developed at SunPro, a Sun Microsystems, Inc. business.
// Permission to use, copy, modify, and distribute this
// software is freely granted, provided that this notice
// is preserved.
// ====================================================

use super::{k_cos, k_sin, rem_pio2};

// cos(x)
// Return cosine function of x.
//
// kernel function:
//      k_sin           ... sine function on [-pi/4,pi/4]
//      k_cos           ... cosine function on [-pi/4,pi/4]
//      rem_pio2        ... argument reduction routine

This file has been truncated. show original

... pub fn cos(x: f64) -> f64 { ...

It's my understanding that all platforms would use this standard code even a 32 bit cpu for example, although I could be wrong.

steffahn · November 1, 2020, 10:48pm

I think you’re wrong. What’s getting called is the cosf32 or cosf64 intrinsic which then get compiled in a platform-dependent way. For example on linux-gnu, this seems to be calling into the system libc/libm/whatever_it’s_called functions cos and cosf (see e.g. this assembly). Those would then be pre-installed libraries on your system, probably implemented in C, dynamically loaded when you run the Rust program.

simmet · November 2, 2020, 2:52am

It might be nice to have this as a GPU kernel: https://lib.rs/crates/matrixmultiply

riskiest · November 3, 2020, 6:43am

I then posted in the Rust users' forum https://users.rust-lang.org/t/pre-proposal-math-working-group/50735

riskiest · November 3, 2020, 8:07am

@programmerjake @elichai2 @simmet @carrybit and more, Thanks for all your guys' reply. I would be glad to make this work with you guys.

Lately, I am working on extracting information from crate.io. Something like that and far away from perfect

Also, I may get some volunteers and even funds to support the working group.

simmet · November 6, 2020, 8:26pm

At which layer(s) do you suppose a WG for math internals goes out of scope?

system · February 4, 2021, 8:26pm

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.

Topic		Replies	Views
Interested in contributing, looking for a mentor compiler	2	728	September 20, 2019
Rust and numeric computation	40	3620	June 27, 2024
Glob imports can shadow built-in types language design	31	2201	November 15, 2021
Proposal: Security Working Group	143	10542	March 25, 2019
Rust Compiler Performance Working Group announcements	44	12170	March 25, 2019

pre-Proposal: Math Working Group

Related topics