KTUG마당은 KTUG를 방문하는 모든 이용자가 대화를 나누고 소식을 전하는 곳입니다.

  • 로그인 없이 자유롭게 글을 읽고 쓸 수 있는 철학은 처음과 같이 계속됩니다.
  • Team Blog의 글을 이곳 게시판의 "정보글"로 모았습니다. Team blog는 기고자가 올린 글에 질문을 받는 부담을 줄이기 위하여 댓글을 허용하지 않았습니다. 그러나 이곳 게시판으로 모으면서 댓글을 달 수 있습니다. 게시물을 작성하실 때 댓글을 원하지 않으시면 댓글을 허용하시지 않으시기를 바랍니다. 또한 불필요한 소모성 댓글을 달지 않도록 주의하여 주시기를 바랍니다.
  • TeX과 관련된 질문이나 답변은 QnA 마당을 이용하십시오. TeX과 관련된 질문은 지웁니다
  • MathJax를 이용한 수식조판을 사용하실 수 있습니다. 여기를 참조하세요.
  • 스팸 글을 막기 위하여 짧은 시간 내에 다시 글이 등록되는 IP를 막거나, 광고 글을 막기 위하여 금지어로 .com, .net 등을 설정하고 있습니다. 다소간의 불편함이 있으시더라도 양해 바랍니다.
    • 금지어에서 stackexchange, stackoverflow, ctan, overleaf, , github, google.com, gmail.com, .org, .io, sil.org, wiki.com, tistory.com등은 해제하였습니다.
  • 사용하는 편집기는 CKeditor입니다. 편집기에서 [enter]를 누르면 <p> 태그가 들어가고, 문단으로 생각하고 한줄을 비웁니다. 글줄만 바꾸려면 shift-enter 를 누르시면 <BR>가 들어가므로 용도에 맞게 나누어 쓸 수 있습니다.

커꿈

보통의 연분수가 +로 이어지는 것과는 달리 -로 이어지는 연분수가 있습니다. 2-1/(3-1/(4-1/5))처럼요. Hirzebruch-Jung continued fraction이라 하여 수학의 여러 분야에서 중요하게 자주 쓰이는 연분수입니다. 이 연분수를 TeX에서 자동으로 계산하는 등의 방법에 KTUG에 질문드린 적 있고, 그에 대한 답이 있었습니다. 누군가 필요하실 분을 위해 아래에도 함께 첨부합니다.

 

% Hirzebruch-Jung continued fraction
% see http://www.ktug.org/xe/201178


% Example: \frac{19}{7}=\hjcfrac{19}{7}=\lhjcfrac[3,4,2]=\hjfraction[3,4,2]

\ExplSyntaxOn

\int_new:N \tmp_cnt
\int_new:N \tmp_dest

\seq_new:N \g_hjcf_seq

\cs_new:Npn \hjcf_div_truncate:nn #1 #2
{
    \int_eval:n { 1 + \int_div_truncate:nn { #1 } { #2 } }
}

\cs_new:Npn \hjcf_mod:nn #1 #2
{
    \int_eval:n { - #1 + #2 * \hjcf_div_truncate:nn { #1 } { #2 } }
}

\cs_new:Npn \make_seq:nn #1 #2
{
    \seq_gput_right:Nn \g_hjcf_seq
    { \hjcf_div_truncate:nn { #1 } { #2 } }
    
    \int_compare:nTF { \hjcf_mod:nn { #1 } { #2 } = 1 }
    {
        \seq_gput_right:Nn \g_hjcf_seq { #2 }
    }
    {
        \make_seq:nn { #2 } { \hjcf_mod:nn { #1 } { #2 } }
    }
}

\cs_new:Nn \print_seq:
{
    \ensuremath {
        \int_incr:N \tmp_cnt
        \seq_pop_left:NN \g_hjcf_seq \l_tmpa_tl
        \tl_set_eq:NN \ldots \ddots
        \tl_use:N \l_tmpa_tl
        \int_compare:nT { \tmp_cnt < \tmp_dest }
        {
            - \dfrac { \strut 1 } { \print_seq: }
        }
    }
}

\NewDocumentCommand \hjcfrac { o m m }
{
    \seq_gclear:N \g_hjcf_seq

    \make_seq:nn { #2 } { #3 }

    \IfValueTF { #1 }
    {
        \str_case:nnF { #1 }
        {
            { b } { [ \seq_use:Nn \g_hjcf_seq { , } ] }
            { s } {    \b_slash: \seq_use:Nn \g_hjcf_seq { , } \b_slash: }
        }
        {
            \int_zero:N \tmp_cnt
            \int_set:Nn \tmp_dest { \seq_count:N \g_hjcf_seq }
            \print_seq:
        }
    }
    {
        \int_zero:N \tmp_cnt
        \int_set:Nn \tmp_dest { \seq_count:N \g_hjcf_seq }
        \print_seq:
    }
}

\cs_new:Npn \print_lhjcfrac:n #1
{
    \seq_gclear:N \g_hjcf_seq
    
    \seq_gset_split:Nnn \g_hjcf_seq { , } { #1 }

    \int_zero:N \tmp_cnt
    \int_set:Nn \tmp_dest { \seq_count:N \g_hjcf_seq }
    \print_seq:
}

\cs_new_protected_nopar:Nn \b_slash: { / \mkern-4.5mu / }

\cs_new:Npn \print_lhj_stype:n #1
{
    \seq_gclear:N \g_hjcf_seq
    \seq_gset_split:Nnn \g_hjcf_seq { , } { #1 }
    \ensuremath {
        \b_slash: \seq_use:Nn \g_hjcf_seq { , } \b_slash:
    }
}

\cs_new:Npn \print_lhj_btype:n #1
{
    \seq_gclear:N \g_hjcf_seq
    \seq_gset_split:Nnn \g_hjcf_seq { , } { #1 }
    \ensuremath {
        [ \seq_use:Nn \g_hjcf_seq { , } ]
    }
}

\NewDocumentCommand \lhjcfrac { o o }
{
    \IfNoValueTF { #2 }
    {
        \print_lhjcfrac:n { #1 }
    }
    {
        \str_case:nnF { #1 }
        {
            { s } { \print_lhj_stype:n { #2 } }
            { b } { \print_lhj_btype:n { #2 } }
        }
        {
            \print_lhjcfrac:n { #2 }
        }
    }
}

\int_new:N \r_int
\int_new:N \m_int
\int_new:N \n_int
\int_new:N \q_int

\cs_new:Npn \simp_calc:n #1
{
    \int_gset:Nn \q_int { #1 }
    \int_gset:Nn \m_int { \n_int * \q_int - \r_int}
    
    \int_gset_eq:NN \r_int \n_int
    \int_gset_eq:NN \n_int \m_int
}

\NewDocumentCommand \hjfraction { o }
{
    \seq_gclear:N \g_hjcf_seq
    \seq_gset_split:Nnn \g_hjcf_seq { , } { #1 }
    \seq_greverse:N \g_hjcf_seq

    \int_set_eq:NN \n_int \c_one
    \int_set_eq:NN \r_int \c_zero
    \seq_map_function:NN \g_hjcf_seq \simp_calc:n

    \ensuremath {
%        \dfrac { \int_use:N \m_int } { \int_use:N \r_int }
        \frac { \int_use:N \m_int } { \int_use:N \r_int }
    }
}

\ExplSyntaxOff 




XE Login