Zulip Chat Archive

Stream: triage

Topic: issue #11407: Arithmetic of quadratic fields


Random Issue Bot (Apr 17 2022 at 14:13):

Today I chose issue 11407 for discussion!

Arithmetic of quadratic fields
Created by @Riccardo Brasca (@riccardobrasca) on 2022-01-12
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Jun 08 2022 at 14:19):

Today I chose issue 11407 for discussion!

Arithmetic of quadratic fields
Created by @Riccardo Brasca (@riccardobrasca) on 2022-01-12
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Oct 15 2022 at 14:21):

Today I chose issue 11407 for discussion!

Arithmetic of quadratic fields
Created by @Riccardo Brasca (@riccardobrasca) on 2022-01-12
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Nov 26 2022 at 14:09):

Today I chose issue 11407 for discussion!

Arithmetic of quadratic fields
Created by @Riccardo Brasca (@riccardobrasca) on 2022-01-12
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Feb 08 2023 at 14:09):

Today I chose issue 11407 for discussion!

Arithmetic of quadratic fields
Created by @Riccardo Brasca (@riccardobrasca) on 2022-01-12
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Mar 15 2023 at 14:08):

Today I chose issue 11407 for discussion!

Arithmetic of quadratic fields
Created by @Riccardo Brasca (@riccardobrasca) on 2022-01-12
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (Jul 08 2023 at 14:08):

Today I chose issue 11407 for discussion!

Arithmetic of quadratic fields
Created by @Riccardo Brasca (@riccardobrasca) on 2022-01-12
Labels: feature-request

Is this issue still relevant? Any recent updates? Anyone making progress?


Last updated: Dec 20 2023 at 11:08 UTC