示例

以下程序打印n边形自同构群的生成元。这是对nauty和Traces套件中的C程序nautyex2的非常直译。

use nauty_Traces_sys::*;
use std::io::{self, Write};
use std::os::raw::c_int;

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let mut options = optionblk::default();
    options.writeautoms = TRUE;
    let mut stats = statsblk::default();

    loop {
        print!("\nenter n : ");
        io::stdout().flush().unwrap();
        let mut input = String::new();
        io::stdin().read_line(&mut input)?;
        let n = input.trim().parse()?;
        if n > 0 {

            let m = SETWORDSNEEDED(n);

            unsafe {
                nauty_check(WORDSIZE as c_int, m as c_int, n as c_int, NAUTYVERSIONID as c_int);
            }

            let mut lab = vec![0; n];
            let mut ptn = vec![0; n];
            let mut orbits = vec![0; n];

            let mut g = empty_graph(m, n);
            for v in 0..n {
                ADDONEEDGE(&mut g, v, (v + 1) % n, m);
            }

            println!("Generators for Aut(C[{}]):", n);

            unsafe {
                densenauty(
                    g.as_mut_ptr(),
                    lab.as_mut_ptr(),
                    ptn.as_mut_ptr(),
                    orbits.as_mut_ptr(),
                    &mut options,
                    &mut stats,
                    m as c_int,
                    n as c_int,
                    std::ptr::null_mut()
                );
            }

            print!("[");
            for orbit in orbits {
                print!("{} ", orbit)
            }
            println!("]");

            print!("order = ");
            io::stdout().flush().unwrap();
            unsafe {
                writegroupsize(stderr, stats.grpsize1, stats.grpsize2);
            }
            println!();
        } else {
            break;
        }
    }
    Ok(())
}

功能

有关功能的信息，请参阅Cargo手册。

默认功能

• bundled：使用此crate附带版本的nauty和Traces。这需要在您的系统上安装C编译器。

  取消激活此功能以使用自定义安装。在这种情况下，您只能释放nauty和Traces分配的内存，如果此crate链接到相同的libc。使用libc功能来生成所需的绑定。

• tls：确保捆绑库的线程安全性。对应于使用USE_TLS定义编译nauty和Traces。

• libc：nauty和Traces有时会内部分配内存，例如在nauty_to_sg函数中。此功能启用绑定到DYNFREE和SG_FREE，这是再次释放此内存所需的。请注意，只有在nauty和Traces与此crate链接到相同的libc时，才能安全地进行此操作。

非默认功能

激活以下功能可能会使生成的二进制文件更快，但更不便携。

• clz：如果可用，允许使用lzcnt处理器指令。

• popcnt：如果可用，允许使用popcnt处理器指令。

• native：允许特定于当前硬件的处理器指令。意味着clz和popcnt。

许可证：Apache-2.0