modular_forms 0.0.1 → 0.0.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c2b8536ed2846f289afd967456cdd892858ad3af312acffab3e312c57b367a38
-  data.tar.gz: ea900a9133578ce1278141bda388d85fc222419ac2de207c50a10c243176166f
+  metadata.gz: 749de4a6eccae53fa56728d33efae75d5f9c0d4376d2031760202dddb0815666
+  data.tar.gz: 0c4d325ea237d6c6478c2fae75f862e0b1f8e116d1b822b5a35eac5481ea88c4
 SHA512:
-  metadata.gz: 7542e5fa3105f3008bdf192c2471e950898567aca9c133ebb50c7e0d65ec1bd0c3b1765c944257c59782bd26f2f849f15d7653652d14844d844a91ab1174b7b9
-  data.tar.gz: 6878c24ff277884ff52aeb3ad54073ae50001b3f0f792b317b1d4ed7caf40151a867124a394eef0731846f1d3732b096f741e4e8c6e2473f9b172eddaed0d237
+  metadata.gz: 7f9b7939543427e63283e38d4c3c4bd796823962809c65348ef0023c6a66a94cde414bddf5cfffe2f2ed0c88e342f90da8aa60774de78cf932d09d36a89f8d18
+  data.tar.gz: cc6ea4af26b7e9502d607e6128f522a383e03f4da9c1cf2b328158fb94f6b85a226cb3c2f9837fc00fbc2a1f0a1370d58b88df7c7a930f1e3968d03235829949

data/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Edgar Armando Delgado Vega
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

data/README.md

@@ -2,21 +2,28 @@
 
 A creative toolkit for exploring modular forms and elliptic curves through [Sonic Pi](https://sonic-pi.net/).
 
-![Modular Forms - Image](modular_forms.png)
+<p align="center">
+  <img src="https://img.shields.io/gem/v/modular_forms" alt="Gem Version">
+  <img src="https://img.shields.io/gem/dt/modular_forms" alt="Gem Total Downloads">
+  <img src="https://img.shields.io/github/stars/edelveart/modular_forms" alt="GitHub Repo stars">
+  <img src="https://img.shields.io/github/license/edelveart/modular_forms" alt="GitHub License">
+</p>
 
-## Project Status
+[![Modular Forms - Image](https://raw.githubusercontent.com/edelveart/modular_forms/main/modular_forms.png)](https://rubygems.org/gems/modular_forms)
+
+## ⚙️ Project Status
 
 This is a pre-alpha release of `modular_forms`. At this stage, only a subset of core mathematical definitions and operations is implemented.
 Future updates might include a DSL, depending on how the library is used and the interest from the community.
 
-Contributions are welcome! Feel free to fork, make changes, and submit a pull request.
+Contributions are welcome! Feel free to fork and submit a pull request.
 
-## Features
+## 🧊 Features
 
 - **Accessible to both musicians and coders**: No math expertise required. Create musical patterns, rhythms, timbres, and harmonies by experimenting with mathematical ideas and turning them into sound and effects intuitively.
 - **Interactive Educational Resource**: Use **Sonic Pi** to discover introductory number theory in a hands-on, immersive way, gaining insights into abstract concepts through math in action.
 
-## Purpose and Scope
+### Purpose and Scope
 
 Given the vastness of the field, this tool intentionally focuses on a limited subset of definitions, without covering all aspects of each. Below is a list of the implemented modules:
 
@@ -31,15 +38,16 @@ Given the vastness of the field, this tool intentionally focuses on a limited su
 - [Elliptic Curves over Rationals](#elliptic-curves-over-rationals)
 - [Elliptic Curves over Finite Fields](#elliptic-curves-over-finite-fields)
 - [Newforms Invariants](#newforms-invariants)
+- [L-functions](#l-functions)
 
 ### Not Optimized for Computational Efficiency
 
-This library is designed for creative exploration rather than maximum computational efficiency. It is not intended to replace advanced mathematical software. Instead, it draws inspiration from tools like SageMath, Pari/GP, and the LMFDB database.
+This library is designed for creative exploration rather than maximum computational efficiency. It is not intended to replace advanced mathematical software. Instead, it draws inspiration from tools like **SageMath**, **Pari/GP**, and the **LMFDB database**.
 
 ### Goal
 The goal is simple: to provide an accessible and creative starting point for those who wish to explore, learn, and uncover new ideas, regardless of their mathematical background.
 
-## Installation
+## 💎 Installation
 
 You can install the `modular_forms` gem directly from **RubyGems** or clone it from GitHub.
 
@@ -47,21 +55,27 @@ You can install the `modular_forms` gem directly from **RubyGems** or clone it f
 gem install modular_forms
 ```
 
-## How to use?
+If you are **use Ruby**, then import via
+```rb
+require 'modular_forms'
+```
 
-You can dive into the beauty of math, both in Ruby and Sonic Pi, creating music in real-time. Here is a simple example of how to use **modular_forms** to generate a basic musical pattern:
+If you are **using Sonic Pi**, replace `<PATH>` with the directory path to the `modular_forms.rb` file inside the gem installation on your system:
 
 ```rb
-# If you are using Ruby, simply load the gem with its name
-# after installing it via 'gem install modular_forms'.
-require 'modular_forms'
+require "<PATH>/modular_forms.rb"
+```
 
-# If you are using Sonic Pi, replace <PATH>
-# with the full path to the 'modular_forms.rb' file
-# inside the gem installation on your system.
+## 🧰 How to use?
+
+### 🎶 Play an Eisenstein Series as Music for Warm-Up
+
+Here is a simple example of how to use **modular_forms** to generate a basic musical pattern:
+
+```rb
 require "<PATH>/modular_forms.rb"
 
-# Calculate the Eisenstein series of weight k = 4
+# Generate an Eisenstein series of weight k = 4
 eisenstein_melody = ModularForms.eisenstein_serie(4)
 
 # Play the melody in a loop with a mathematical transformation
@@ -71,7 +85,44 @@ eisenstein_melody = ModularForms.eisenstein_serie(4)
 end
 ```
 
-## Implemented Modular Forms, Elliptic Curves, and Related Definitions
+### 🎶 Explore Fermat’s Last Theorem in Sonic Pi
+
+The Taniyama–Shimura Conjecture (now the Modularity Theorem), proven for semistable cases by Andrew Wiles, connects elliptic curves over the rationals to modular forms. This profound result was crucial in proving **Fermat’s Last Theorem**.
+
+For example, we can explore the relationship between the elliptic curve `144.a3` and the newform orbit `144.2.a.a` through their L-function,
+`L(E, s) = L(f, s)`, in a musical sense.
+
+```rb
+require "<PATH>/modular_forms.rb"
+
+# Set precision for the Fourier q-expansion
+prec = 20
+
+# Construct a weight 2 newform as an eta quotient
+n = ModularForms.dedekind_eta_pow(12, prec, 12)
+d1 = ModularForms.dedekind_eta_pow(4, prec, 6)
+d2 = ModularForms.dedekind_eta_pow(4, prec, 24)
+eta_prod = ModularForms.eta_product(d1, d2)
+
+newform = ModularForms.eta_quotient(n, eta_prod, prec)
+
+# Define the elliptic curve E over F_p
+p = 13
+ellc = ModularForms.elliptic_curve_fp(p, [0, -1]) # y^2 = x^3 - 1
+points = ModularForms.cardinality_fp(ellc) # count points on E mod p
+
+# Compute the modular coefficient a_p of L-function(E, s)
+a_p = ModularForms.a_p(p, points)
+
+# Sonify the modular relationship
+live_loop :modularity_music do
+  play (chord (:a3 + a_p), :m11)[newform.ring.tick],
+    amp: a_p, release: 0.125
+  sleep 0.125
+end
+```
+
+## 🧩 Implemented Modular Forms, Elliptic Curves, and Related Definitions
 
 ### Eisenstein Series
 
@@ -148,5 +199,9 @@ end
 44. `ModularForms.quadratic_twist_fp(curve)`
 
 ### Newforms Invariants
+
 45. `ModularForms.analytic_conductor(level_n, weight_k)`
 
+### L-functions
+
+46. `ModularForms.a_p(p, cardinality)`

data/lib/modular_forms/core/dirichlet_characters.rb

@@ -1,7 +1,6 @@
 # frozen_string_literal: true
 
 require_relative '../core/numeric_helpers/numeric_helpers'
-require 'bigdecimal'
 
 module ModularForms
   module Core

data/lib/modular_forms/core/l_functions.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+module ModularForms
+  module Core
+    # ModularForms::Core::LFunctions
+    #
+    # The LFunctions module provides methods related to L-functions,
+    # particularly those associated with modular forms and elliptic curves.
+    module LFunctions
+      def self.a_p(p, cardinality)
+        p + 1 - cardinality
+      end
+    end
+  end
+end

data/lib/modular_forms/core.rb

@@ -11,3 +11,4 @@ require_relative 'core/sl2z_groups'
 require_relative 'core/elliptic_curves_fp'
 require_relative 'core/dirichlet_characters'
 require_relative 'core/newform_invariants'
+require_relative 'core/l_functions'

data/lib/modular_forms/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module ModularForms
-  VERSION = '0.0.1'
+  VERSION = '0.0.2'
 end

data/lib/modular_forms.rb

@@ -192,4 +192,8 @@ module ModularForms # rubocop:disable Metrics/ModuleLength
   def analytic_conductor(level_n, weight_k)
     Core::NewFormInvariants.analytic_conductor(level_n, weight_k)
   end
+
+  def a_p(p, cardinality)
+    Core::LFunctions.a_p(p, cardinality)
+  end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: modular_forms
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
 platform: ruby
 authors:
 - Edgar Armando Delgado Vega
@@ -17,8 +17,10 @@ email:
 executables: []
 extensions: []
 extra_rdoc_files:
+- LICENSE
 - README.md
 files:
+- LICENSE
 - README.md
 - lib/modular_forms.rb
 - lib/modular_forms/core.rb
@@ -29,6 +31,7 @@ files:
 - lib/modular_forms/core/elliptic_curves_q.rb
 - lib/modular_forms/core/hecke_operators.rb
 - lib/modular_forms/core/klein_j_invariant.rb
+- lib/modular_forms/core/l_functions.rb
 - lib/modular_forms/core/newform_invariants.rb
 - lib/modular_forms/core/numeric_helpers/numeric_helpers.rb
 - lib/modular_forms/core/ramanujan_tau_function.rb