sage:from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(1872, base_ring=CyclotomicField(12))
M = H._module
chi = DirichletCharacter(H, M([0,9,2,9]))
         
     
    
    
        
        pari:[g,chi] = znchar(Mod(317,1872))
         
     
    
  
   | Modulus: |  \(1872\) |   |  
   | Conductor: |  \(1872\) |  
    
         
        sage:chi.conductor()
          
     
    
    
         
        pari:znconreyconductor(g,chi)
          
     
    
 |  
   | Order: |  \(12\) |  
    
         
        sage:chi.multiplicative_order()
          
     
    
    
         
        pari:charorder(g,chi)
          
     
    
 |  
   | Real: |   no  |  
   | Primitive: |   yes |   
    
         
        sage:chi.is_primitive()
          
     
    
    
         
        pari:#znconreyconductor(g,chi)==1
          
     
    
 |  
     | Minimal:  |  yes |  
       | Parity:  |  even |  
    
         
        sage:chi.is_odd()
          
     
    
    
         
        pari:zncharisodd(g,chi)
          
     
    
 |  
   
  \(\chi_{1872}(317,\cdot)\)
  \(\chi_{1872}(437,\cdot)\)
  \(\chi_{1872}(941,\cdot)\)
  \(\chi_{1872}(1685,\cdot)\)
    
        
        sage:chi.galois_orbit()
         
     
    
    
        
        pari:order = charorder(g,chi)
[ charpow(g,chi, k % order) | k <-[1..order-1], gcd(k,order)==1 ]
         
     
    
 
\((703,469,209,145)\) → \((1,-i,e\left(\frac{1}{6}\right),-i)\)
  
    
      
        | \(a\) | 
        \(-1\) | \(1\) | \(5\) | \(7\) | \(11\) | \(17\) | \(19\) | \(23\) | \(25\) | \(29\) | \(31\) | \(35\) |       
    
    
      | \( \chi_{ 1872 }(317, a) \) | 
      \(1\) | \(1\) | \(e\left(\frac{1}{3}\right)\) | \(e\left(\frac{5}{12}\right)\) | \(e\left(\frac{1}{6}\right)\) | \(1\) | \(1\) | \(e\left(\frac{5}{6}\right)\) | \(e\left(\frac{2}{3}\right)\) | \(e\left(\frac{5}{12}\right)\) | \(e\left(\frac{1}{12}\right)\) | \(-i\) |     
  
 
    
        
        sage:chi.jacobi_sum(n)