malachite_q/rational_vector/conversion/string/latex.rs
1// Copyright © 2026 Mikhail Hogrefe
2//
3// This file is part of Malachite.
4//
5// Malachite is free software: you can redistribute it and/or modify it under the terms of the GNU
6// Lesser General Public License (LGPL) as published by the Free Software Foundation; either version
7// 3 of the License, or (at your option) any later version. See <https://www.gnu.org/licenses/>.
8
9use crate::rational_vector::RationalVector;
10use core::fmt::{Formatter, Result};
11use malachite_base::strings::latex::ToLatex;
12
13impl ToLatex for RationalVector {
14 /// Writes a [`RationalVector`] as a LaTeX math-mode fragment.
15 ///
16 /// The elements' fragments are separated by commas and enclosed in parentheses that grow to fit
17 /// their contents, as a vector's coordinates are written by hand. The 0-dimensional vector is
18 /// `\left(\right)`.
19 ///
20 /// # Worst-case complexity
21 /// $T(n) = O(n (\log n)^2 \log\log n)$
22 ///
23 /// $M(n) = O(n \log n)$
24 ///
25 /// where $T$ is time, $M$ is additional memory, and $n$ is the sum of the bits of the elements.
26 ///
27 /// # Examples
28 /// ```
29 /// use core::str::FromStr;
30 /// use malachite_base::strings::latex::ToLatex;
31 /// use malachite_q::Rational;
32 /// use malachite_q::rational_vector::RationalVector;
33 ///
34 /// let v = RationalVector {
35 /// elements: vec![Rational::from(1u32), Rational::from(2u32), Rational::from(3u32)],
36 /// };
37 /// assert_eq!(v.to_latex_string(), "\\left(1, 2, 3\\right)");
38 /// assert_eq!(
39 /// RationalVector::from_str("(1/2)").unwrap().to_latex_string(),
40 /// "\\left(\\frac{1}{2}\\right)"
41 /// );
42 /// assert_eq!(
43 /// RationalVector {
44 /// elements: vec![Rational::from(5u32)]
45 /// }
46 /// .to_latex_string(),
47 /// "\\left(5\\right)"
48 /// );
49 /// assert_eq!(
50 /// RationalVector {
51 /// elements: Vec::new()
52 /// }
53 /// .to_latex_string(),
54 /// "\\left(\\right)"
55 /// );
56 /// ```
57 ///
58 /// The value column holds each vector as [`Display`](core::fmt::Display) writes it.
59 ///
60 /// | value | fragment | renders as |
61 /// |-------------|----------------------------|----------------------------|
62 /// | `(1/2)` | `\left(\frac{1}{2}\right)` | $\left(\frac{1}{2}\right)$ |
63 /// | `(1, 2, 3)` | `\left(1, 2, 3\right)` | $\left(1, 2, 3\right)$ |
64 /// | `(5)` | `\left(5\right)` | $\left(5\right)$ |
65 /// | `()` | `\left(\right)` | $\left(\right)$ |
66 fn fmt_latex(&self, f: &mut Formatter) -> Result {
67 f.write_str("\\left(")?;
68 for (i, x) in self.elements.iter().enumerate() {
69 if i != 0 {
70 f.write_str(", ")?;
71 }
72 x.fmt_latex(f)?;
73 }
74 f.write_str("\\right)")
75 }
76}